LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/quantifiers/ematching Hit Total Coverage
Test: coverage.info Lines: 2152 2595 82.9 %
Date: 2026-05-04 10:34:19 Functions: 157 191 82.2 %
Branches: 1536 2466 62.3 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
candidate_generator.cpp
96.8%96.8%
 96.8 % 179 / 185 100.0 % 21 / 21 67.1 % 102 / 152
candidate_generator.h
45.5%45.5%
 45.5 % 5 / 11 40.0 % 4 / 10 - 0 / 0
ho_trigger.cpp
90.5%90.5%
 90.5 % 248 / 274 90.0 % 9 / 10 57.4 % 140 / 244
im_generator.cpp
100.0%
 100.0 % 7 / 7 100.0 % 2 / 2 - 0 / 0
im_generator.h
33.3%33.3%
 33.3 % 2 / 6 28.6 % 2 / 7 - 0 / 0
inst_match_generator.cpp
82.7%82.7%
 82.7 % 325 / 393 87.5 % 14 / 16 63.8 % 250 / 392
inst_match_generator.h
100.0%
 100.0 % 5 / 5 100.0 % 4 / 4 - 0 / 0
inst_match_generator_multi.cpp
0.0%
 0.0 % 0 / 135 0.0 % 0 / 9 0.0 % 0 / 102
inst_match_generator_multi_linear.cpp
97.9%97.9%
 97.9 % 92 / 94 100.0 % 5 / 5 70.2 % 59 / 84
inst_match_generator_simple.cpp
86.1%86.1%
 86.1 % 87 / 101 83.3 % 5 / 6 61.0 % 64 / 105
inst_strategy.cpp
76.9%76.9%
 76.9 % 10 / 13 66.7 % 4 / 6 25.0 % 1 / 4
inst_strategy_e_matching.cpp
75.3%75.3%
 75.3 % 272 / 361 100.0 % 12 / 12 55.1 % 238 / 432
inst_strategy_e_matching.h
33.3%33.3%
 33.3 % 1 / 3 66.7 % 2 / 3 75.0 % 9 / 12
inst_strategy_e_matching_user.cpp
74.6%74.6%
 74.6 % 53 / 71 85.7 % 6 / 7 59.7 % 40 / 67
instantiation_engine.cpp
97.6%97.6%
 97.6 % 122 / 125 93.3 % 14 / 15 79.8 % 67 / 84
pattern_term_selector.cpp
90.0%90.0%
 90.0 % 361 / 401 94.1 % 16 / 17 72.8 % 313 / 430
relational_match_generator.cpp
96.8%96.8%
 96.8 % 61 / 63 100.0 % 4 / 4 51.8 % 29 / 56
trigger.cpp
84.4%84.4%
 84.4 % 108 / 128 83.3 % 10 / 12 56.2 % 54 / 96
trigger_database.cpp
97.6%97.6%
 97.6 % 83 / 85 83.3 % 5 / 6 77.4 % 48 / 62
trigger_term_info.cpp
100.0%
 100.0 % 66 / 66 100.0 % 9 / 9 86.8 % 99 / 114
trigger_term_info.h
100.0%
 100.0 % 2 / 2 100.0 % 2 / 2 - 0 / 0
trigger_trie.cpp
100.0%
 100.0 % 29 / 29 100.0 % 4 / 4 85.7 % 12 / 14
var_match_generator.cpp
91.9%91.9%
 91.9 % 34 / 37 75.0 % 3 / 4 68.8 % 11 / 16

Generated by: LCOV version 1.14