LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/quantifiers/ieval Hit Total Coverage
Test: coverage.info Lines: 605 700 86.4 %
Date: 2026-02-18 21:00:04 Functions: 60 73 82.2 %
Branches: 393 685 57.4 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
free_var_info.cpp
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
inst_evaluator.cpp
81.0%81.0%
 81.0 % 102 / 126 81.2 % 13 / 16 52.0 % 52 / 100
inst_evaluator_manager.cpp
89.3%89.3%
 89.3 % 25 / 28 75.0 % 3 / 4 87.5 % 7 / 8
pattern_term_info.cpp
100.0%
 100.0 % 38 / 38 100.0 % 4 / 4 46.0 % 23 / 50
quant_info.cpp
75.0%75.0%
 75.0 % 51 / 68 71.4 % 10 / 14 40.7 % 22 / 54
state.cpp
84.0%84.0%
 84.0 % 246 / 293 82.8 % 24 / 29 54.7 % 157 / 287
term_evaluator.cpp
97.3%97.3%
 97.3 % 142 / 146 100.0 % 5 / 5 71.0 % 132 / 186

Generated by: LCOV version 1.14