Skip to main content

Module unprovable

Module unprovable 

Source
Expand description

Finding classes that one run cannot prove.

Some detectors do not report anything when the run cannot see all of the code that can disprove a finding. The audit reads unprovable_dead_code_collections on the base run: a head finding of a class that the base could not prove is inherited, not introduced, because the base did not measure that class.

Functionsยง

unprovable_dead_code_collections
The dead-code collections, by JSON key, that a run over config does not report because it cannot prove their findings.