LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/ff Hit Total Coverage
Test: coverage.info Lines: 1298 1453 89.3 %
Date: 2026-03-13 10:40:35 Functions: 155 170 91.2 %
Branches: 788 1271 62.0 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
cocoa_encoder.cpp
97.6%97.6%
 97.6 % 166 / 170 100.0 % 17 / 17 61.7 % 121 / 196
cocoa_encoder.h
100.0%
 100.0 % 5 / 5 100.0 % 5 / 5 - 0 / 0
cocoa_util.cpp
91.7%91.7%
 91.7 % 44 / 48 100.0 % 5 / 5 90.0 % 27 / 30
cocoa_util.h
100.0%
 100.0 % 5 / 5 100.0 % 2 / 2 - 0 / 0
core.cpp
93.5%93.5%
 93.5 % 86 / 92 100.0 % 15 / 15 46.7 % 42 / 90
gb.cpp
98.4%98.4%
 98.4 % 60 / 61 100.0 % 1 / 1 75.0 % 36 / 48
multi_roots.cpp
82.6%82.6%
 82.6 % 138 / 167 80.0 % 16 / 20 48.2 % 80 / 166
parse.cpp
94.1%94.1%
 94.1 % 159 / 169 94.4 % 17 / 18 79.5 % 101 / 127
split_gb.cpp
78.0%78.0%
 78.0 % 224 / 287 96.3 % 26 / 27 64.1 % 166 / 259
stats.cpp
100.0%
 100.0 % 10 / 10 100.0 % 1 / 1 50.0 % 1 / 2
sub_theory.cpp
88.4%88.4%
 88.4 % 38 / 43 100.0 % 6 / 6 61.5 % 16 / 26
theory_ff.cpp
89.9%89.9%
 89.9 % 80 / 89 92.9 % 13 / 14 53.9 % 41 / 76
theory_ff.h
0.0%
 0.0 % 0 / 1 0.0 % 0 / 1 - 0 / 0
theory_ff_rewriter.cpp
99.3%99.3%
 99.3 % 135 / 136 100.0 % 12 / 12 67.2 % 84 / 125
theory_ff_type_rules.cpp
73.5%73.5%
 73.5 % 25 / 34 80.0 % 4 / 5 50.0 % 14 / 28
type_enumerator.h
73.3%73.3%
 73.3 % 11 / 15 75.0 % 3 / 4 37.5 % 3 / 8
uni_roots.cpp
100.0%
 100.0 % 92 / 92 100.0 % 6 / 6 58.6 % 41 / 70
util.cpp
67.9%67.9%
 67.9 % 19 / 28 50.0 % 5 / 10 75.0 % 15 / 20
util.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0

Generated by: LCOV version 1.14