LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/quantifiers/ematching Hit Total Coverage
Test: coverage.info Lines: 2150 2437 88.2 %
Date: 2026-01-28 13:01:50 Functions: 167 191 87.4 %
Branches: 1542 2386 64.6 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
candidate_generator.cpp
96.5%96.5%
 96.5 % 166 / 172 100.0 % 21 / 21 64.5 % 89 / 138
candidate_generator.h
45.5%45.5%
 45.5 % 5 / 11 40.0 % 4 / 10 - 0 / 0
ho_trigger.cpp
89.7%89.7%
 89.7 % 227 / 253 90.0 % 9 / 10 57.4 % 140 / 244
im_generator.cpp
100.0%
 100.0 % 6 / 6 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.9%85.9%
 85.9 % 310 / 361 93.8 % 15 / 16 64.4 % 246 / 382
inst_match_generator.h
100.0%
 100.0 % 5 / 5 100.0 % 4 / 4 - 0 / 0
inst_match_generator_multi.cpp
93.9%93.9%
 93.9 % 123 / 131 100.0 % 9 / 9 71.2 % 74 / 104
inst_match_generator_multi_linear.cpp
97.8%97.8%
 97.8 % 87 / 89 100.0 % 5 / 5 70.2 % 59 / 84
inst_match_generator_simple.cpp
86.5%86.5%
 86.5 % 83 / 96 83.3 % 5 / 6 60.8 % 62 / 102
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.7%75.7%
 75.7 % 265 / 350 100.0 % 12 / 12 54.7 % 231 / 422
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
73.9%73.9%
 73.9 % 51 / 69 85.7 % 6 / 7 53.4 % 31 / 58
instantiation_engine.cpp
97.3%97.3%
 97.3 % 109 / 112 93.3 % 14 / 15 78.8 % 63 / 80
pattern_term_selector.cpp
90.9%90.9%
 90.9 % 339 / 373 94.1 % 16 / 17 71.5 % 289 / 404
relational_match_generator.cpp
96.6%96.6%
 96.6 % 57 / 59 100.0 % 4 / 4 51.8 % 29 / 56
trigger.cpp
84.2%84.2%
 84.2 % 101 / 120 83.3 % 10 / 12 57.3 % 55 / 96
trigger_database.cpp
97.5%97.5%
 97.5 % 79 / 81 83.3 % 5 / 6 77.4 % 48 / 62
trigger_term_info.cpp
100.0%
 100.0 % 63 / 63 100.0 % 9 / 9 86.6 % 97 / 112
trigger_term_info.h
100.0%
 100.0 % 2 / 2 100.0 % 2 / 2 - 0 / 0
trigger_trie.cpp
100.0%
 100.0 % 28 / 28 100.0 % 4 / 4 85.7 % 12 / 14
var_match_generator.cpp
91.2%91.2%
 91.2 % 31 / 34 75.0 % 3 / 4 58.3 % 7 / 12

Generated by: LCOV version 1.14