LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/quantifiers/ematching Hit Total Coverage
Test: coverage.info Lines: 2143 2428 88.3 %
Date: 2024-10-28 11:39:04 Functions: 162 185 87.6 %
Branches: 1542 2388 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.8%89.8%
 89.8 % 228 / 254 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 % 3 / 3 100.0 % 3 / 3 - 0 / 0
inst_match_generator_multi.cpp
93.8%93.8%
 93.8 % 121 / 129 100.0 % 8 / 8 71.2 % 74 / 104
inst_match_generator_multi_linear.cpp
97.7%97.7%
 97.7 % 85 / 87 100.0 % 4 / 4 70.2 % 59 / 84
inst_match_generator_simple.cpp
86.2%86.2%
 86.2 % 81 / 94 80.0 % 4 / 5 59.8 % 61 / 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 % 340 / 374 94.1 % 16 / 17 71.5 % 289 / 404
relational_match_generator.cpp
96.6%96.6%
 96.6 % 56 / 58 100.0 % 3 / 3 51.8 % 29 / 56
trigger.cpp
84.2%84.2%
 84.2 % 101 / 120 83.3 % 10 / 12 58.2 % 57 / 98
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 85.7 % 96 / 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
96.9%96.9%
 96.9 % 31 / 32 100.0 % 3 / 3 58.3 % 7 / 12

Generated by: LCOV version 1.14