|
|
|
|
|
|
|
|
Filename  |
Line Coverage  |
Functions |
Branches |
| cardinality_extension.cpp |
|
91.2 % |
550 / 603 |
100.0 % |
17 / 17 |
66.0 % |
376 / 570 |
| cardinality_extension.h |
|
100.0 % |
4 / 4 |
100.0 % |
4 / 4 |
- |
0 / 0 |
| infer_proof_cons.cpp |
|
92.4 % |
182 / 197 |
100.0 % |
7 / 7 |
51.5 % |
137 / 266 |
| infer_proof_cons.h |
|
100.0 % |
1 / 1 |
100.0 % |
2 / 2 |
- |
0 / 0 |
| inference_manager.cpp |
|
64.0 % |
64 / 100 |
90.0 % |
9 / 10 |
57.1 % |
40 / 70 |
| normal_form.h |
|
97.4 % |
76 / 78 |
100.0 % |
6 / 6 |
58.1 % |
50 / 86 |
| proof_checker.cpp |
|
90.6 % |
48 / 53 |
100.0 % |
3 / 3 |
40.5 % |
34 / 84 |
| rels_utils.cpp |
|
97.1 % |
67 / 69 |
100.0 % |
5 / 5 |
72.5 % |
29 / 40 |
| set_reduction.cpp |
|
97.3 % |
71 / 73 |
60.0 % |
3 / 5 |
33.3 % |
6 / 18 |
| skolem_cache.cpp |
|
85.2 % |
23 / 27 |
80.0 % |
4 / 5 |
54.2 % |
13 / 24 |
| solver_state.cpp |
|
94.3 % |
312 / 331 |
91.7 % |
33 / 36 |
72.3 % |
198 / 274 |
| solver_state.h |
|
100.0 % |
1 / 1 |
100.0 % |
1 / 1 |
- |
0 / 0 |
| term_registry.cpp |
|
100.0 % |
62 / 62 |
100.0 % |
6 / 6 |
81.8 % |
36 / 44 |
| theory_sets.cpp |
|
88.6 % |
117 / 132 |
90.9 % |
20 / 22 |
71.7 % |
33 / 46 |
| theory_sets.h |
|
75.0 % |
3 / 4 |
50.0 % |
1 / 2 |
- |
0 / 0 |
| theory_sets_private.cpp |
|
94.0 % |
912 / 970 |
97.9 % |
46 / 47 |
64.8 % |
494 / 762 |
| theory_sets_private.h |
|
100.0 % |
1 / 1 |
100.0 % |
1 / 1 |
- |
0 / 0 |
| theory_sets_rels.cpp |
|
92.4 % |
856 / 926 |
95.1 % |
39 / 41 |
75.4 % |
427 / 566 |
| theory_sets_rels.h |
|
100.0 % |
1 / 1 |
100.0 % |
1 / 1 |
- |
0 / 0 |
| theory_sets_rewriter.cpp |
|
94.9 % |
557 / 587 |
100.0 % |
17 / 17 |
66.8 % |
314 / 470 |
| theory_sets_type_enumerator.cpp |
|
98.3 % |
58 / 59 |
100.0 % |
7 / 7 |
64.7 % |
22 / 34 |
| theory_sets_type_rules.cpp |
|
55.5 % |
332 / 598 |
57.6 % |
34 / 59 |
38.3 % |
223 / 582 |
