| LCOV - code coverage report | |||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||
| Filename |
Line Coverage |
Functions |
Branches |
|||||
| arith_options.cpp |
|
93.5 % | 116 / 124 | 100.0 % | 16 / 16 | 92.2 % | 94 / 102 | |
| base_options.cpp |
|
48.8 % | 39 / 80 | 75.0 % | 3 / 4 | 54.5 % | 54 / 99 | |
| bv_options.cpp |
|
87.5 % | 49 / 56 | 100.0 % | 8 / 8 | 85.7 % | 36 / 42 | |
| datatypes_options.cpp |
|
93.9 % | 46 / 49 | 100.0 % | 6 / 6 | 92.9 % | 39 / 42 | |
| decision_options.cpp |
|
92.7 % | 38 / 41 | 100.0 % | 6 / 6 | 90.0 % | 27 / 30 | |
| ff_options.cpp |
|
92.3 % | 12 / 13 | 100.0 % | 2 / 2 | 88.9 % | 8 / 9 | |
| io_utils.cpp |
|
100.0 % | 53 / 53 | 100.0 % | 34 / 34 | 100.0 % | 2 / 2 | |
| options.cpp |
|
97.0 % | 128 / 132 | 92.9 % | 26 / 28 | 50.0 % | 1 / 2 | |
| options.h |
|
100.0 % | 2 / 2 | 100.0 % | 1 / 1 | - | 0 / 0 | |
| options_public.cpp |
|
99.7 % | 4231 / 4244 | 100.0 % | 18 / 18 | 80.6 % | 2077 / 2578 | |
| parallel_options.cpp |
|
93.6 % | 44 / 47 | 100.0 % | 6 / 6 | 92.3 % | 36 / 39 | |
| parser_options.cpp |
|
93.3 % | 14 / 15 | 100.0 % | 2 / 2 | 91.7 % | 11 / 12 | |
| printer_options.cpp |
|
94.1 % | 16 / 17 | 100.0 % | 2 / 2 | 93.3 % | 14 / 15 | |
| proof_options.cpp |
|
94.1 % | 64 / 68 | 100.0 % | 8 / 8 | 93.3 % | 56 / 60 | |
| prop_options.cpp |
|
92.7 % | 38 / 41 | 100.0 % | 6 / 6 | 90.0 % | 27 / 30 | |
| quantifiers_options.cpp |
|
93.6 % | 530 / 566 | 100.0 % | 72 / 72 | 92.4 % | 435 / 471 | |
| smt_options.cpp |
|
93.9 % | 154 / 164 | 100.0 % | 20 / 20 | 92.9 % | 131 / 141 | |
| strings_options.cpp |
|
93.9 % | 62 / 66 | 100.0 % | 8 / 8 | 93.0 % | 53 / 57 | |
| theory_options.cpp |
|
92.6 % | 88 / 95 | 100.0 % | 14 / 14 | 89.9 % | 62 / 69 | |
| uf_options.cpp |
|
93.3 % | 14 / 15 | 100.0 % | 2 / 2 | 91.7 % | 11 / 12 | |
| Generated by: LCOV version 1.14 |