LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/quantifiers/ematching Hit Total Coverage
Test: coverage.info Lines: 2278 2581 88.3 %
Date: 2026-02-24 12:04:47 Functions: 167 191 87.4 %
Branches: 1617 2472 65.4 %

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
85.3%85.3%
 85.3 % 324 / 380 93.8 % 15 / 16 64.5 % 253 / 392
inst_match_generator.h
100.0%
 100.0 % 5 / 5 100.0 % 4 / 4 - 0 / 0
inst_match_generator_multi.cpp
94.1%94.1%
 94.1 % 127 / 135 100.0 % 9 / 9 71.3 % 77 / 108
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 % 271 / 360 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.5%97.5%
 97.5 % 119 / 122 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
85.5%85.5%
 85.5 % 112 / 131 83.3 % 10 / 12 57.3 % 55 / 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