Mark H Weaver <m...@netris.org> skribis: >> If the analyzer doesn’t cover 100% of the packages, we’ll rely on manual >> testing as we rebuild everything anyway—pretty much like when we do a >> regular ‘core-updates’ cycle. > > If I'm not mistaken, the combination of checkers mentioned above should > give 100% coverage for phases and snippets of packages that > 'fold-packages' iterates over. However, it might miss packages that are > somehow hidden from 'fold-packages', e.g. packages bound to variables > that are not exported, and packages that are returned by procedures.
Nice, thanks for explaining. Ludo'.