When displaying coverage overviews with asts-ccbm-coverage-info, the displayed numbers may be nonsensical.
Example:
---------------------------------------+----------+---------+----------
FILE: | BRANCHES | COVERED | PERCENT
---------------------------------------+----------+---------+----------
FILE_1.c | 157 | 14 | 8.92
...
FILE_9.c | 1 | -41 | -4100.00 %
---------------------------------------+----------+---------+----------
*TOTAL* | 3731 | -2148 | -57.57 %
---------------------------------------+----------+---------+----------
summarising coverage data
Disregard asts-ccbm-coverage-info
output; the overview information computed during normal postprocessing (e.g., via asts-cov-html-overview
) is correct.
Alternatively, the older version CCBM V-5.1.10 (2011-12-08) can be used.
all
Those who have access to internal Verified product information can track this issue via https://software.verified.de/mantis/view.php?id=6449