LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/quantifiers/ieval Hit Total Coverage
Test: coverage.info Lines: 563 654 86.1 %
Date: 2024-10-02 12:19:03 Functions: 60 73 82.2 %
Branches: 370 662 55.9 %

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
82.0%82.0%
 82.0 % 91 / 111 81.2 % 13 / 16 52.0 % 52 / 100
inst_evaluator_manager.cpp
88.9%88.9%
 88.9 % 24 / 27 75.0 % 3 / 4 87.5 % 7 / 8
pattern_term_info.cpp
100.0%
 100.0 % 36 / 36 100.0 % 4 / 4 46.0 % 23 / 50
quant_info.cpp
72.1%72.1%
 72.1 % 49 / 68 71.4 % 10 / 14 40.7 % 22 / 54
state.cpp
83.8%83.8%
 83.8 % 233 / 278 82.8 % 24 / 29 52.9 % 146 / 276
term_evaluator.cpp
97.0%97.0%
 97.0 % 129 / 133 100.0 % 5 / 5 69.0 % 120 / 174

Generated by: LCOV version 1.14