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'.

Reply via email to