LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/ff Hit Total Coverage
Test: coverage.info Lines: 1148 1284 89.4 %
Date: 2024-11-21 12:43:13 Functions: 154 169 91.1 %
Branches: 729 1187 61.4 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
cocoa_encoder.cpp
98.7%98.7%
 98.7 % 150 / 152 100.0 % 17 / 17 62.6 % 119 / 190
cocoa_encoder.h
100.0%
 100.0 % 4 / 4 100.0 % 4 / 4 - 0 / 0
cocoa_util.cpp
93.0%93.0%
 93.0 % 40 / 43 100.0 % 5 / 5 95.0 % 19 / 20
cocoa_util.h
100.0%
 100.0 % 4 / 4 100.0 % 2 / 2 - 0 / 0
core.cpp
93.2%93.2%
 93.2 % 82 / 88 100.0 % 15 / 15 46.7 % 42 / 90
multi_roots.cpp
84.7%84.7%
 84.7 % 122 / 144 80.0 % 16 / 20 48.8 % 78 / 160
parse.cpp
94.2%94.2%
 94.2 % 146 / 155 94.4 % 17 / 18 79.5 % 101 / 127
split_gb.cpp
76.9%76.9%
 76.9 % 196 / 255 96.3 % 26 / 27 62.5 % 135 / 216
stats.cpp
100.0%
 100.0 % 8 / 8 100.0 % 1 / 1 50.0 % 1 / 2
sub_theory.cpp
95.4%95.4%
 95.4 % 83 / 87 100.0 % 7 / 7 65.1 % 56 / 86
theory_ff.cpp
92.3%92.3%
 92.3 % 72 / 78 92.9 % 13 / 14 52.7 % 39 / 74
theory_ff.h
0.0%
 0.0 % 0 / 1 0.0 % 0 / 1 - 0 / 0
theory_ff_rewriter.cpp
99.1%99.1%
 99.1 % 109 / 110 100.0 % 11 / 11 67.0 % 75 / 112
theory_ff_type_rules.cpp
71.0%71.0%
 71.0 % 22 / 31 80.0 % 4 / 5 45.5 % 10 / 22
type_enumerator.h
69.2%69.2%
 69.2 % 9 / 13 75.0 % 3 / 4 37.5 % 3 / 8
uni_roots.cpp
98.8%98.8%
 98.8 % 80 / 81 100.0 % 6 / 6 60.0 % 36 / 60
util.cpp
67.9%67.9%
 67.9 % 19 / 28 50.0 % 5 / 10 75.0 % 15 / 20
util.h
100.0%
 100.0 % 2 / 2 100.0 % 2 / 2 - 0 / 0

Generated by: LCOV version 1.14