Feature #6737
Updated by Evgeny Novikov almost 9 years ago
Static verifiers (I know just about CPAchecker) can produce code coverage that can be useful for debugging purposes. Workers should get it and include into decision result files.
Note that coverage of original source files is assumed to be collected.