LCOV - code coverage report | |||||||||||||||||||||||||
|
|||||||||||||||||||||||||
Filename | Line Coverage | Functions | ||||
bqnf_rewriter.h |
|
71.4 % | 10 / 14 | 100.0 % | 2 / 2 | |
data2pbes_rewriter.h |
|
76.1 % | 35 / 46 | 84.6 % | 11 / 13 | |
data_rewriter.h |
|
95.6 % | 43 / 45 | 78.0 % | 71 / 91 | |
enumerate_quantifiers_rewriter.h |
|
88.7 % | 126 / 142 | 72.5 % | 29 / 40 | |
if_rewriter.h |
|
0.0 % | 0 / 8 | 0.0 % | 0 / 3 | |
one_point_rule_rewriter.h |
|
89.7 % | 61 / 68 | 100.0 % | 6 / 6 | |
pbes2data_rewriter.h |
|
0.0 % | 0 / 28 | 0.0 % | 0 / 3 | |
pfnf_rewriter.h |
|
100.0 % | 5 / 5 | 100.0 % | 1 / 1 | |
quantifiers_inside_rewriter.h |
|
0.0 % | 0 / 141 | 0.0 % | 0 / 33 | |
simplify_quantifiers_rewriter.h |
|
85.0 % | 68 / 80 | 54.5 % | 6 / 11 | |
simplify_rewriter.h |
|
82.6 % | 95 / 115 | 55.6 % | 35 / 63 |
Generated by: LCOV version 1.14 |