LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/arrays Hit Total Coverage
Test: coverage.info Lines: 1726 2321 74.4 %
Date: 2024-12-06 12:40:21 Functions: 104 136 76.5 %
Branches: 1130 1977 57.2 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
array_info.cpp
67.6%67.6%
 67.6 % 196 / 290 61.3 % 19 / 31 50.6 % 86 / 170
array_info.h
100.0%
 100.0 % 14 / 14 100.0 % 2 / 2 43.8 % 7 / 16
inference_manager.cpp
98.4%98.4%
 98.4 % 63 / 64 100.0 % 4 / 4 54.5 % 24 / 44
inference_manager.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
proof_checker.cpp
72.4%72.4%
 72.4 % 42 / 58 100.0 % 3 / 3 38.9 % 28 / 72
skolem_cache.cpp
92.3%92.3%
 92.3 % 12 / 13 66.7 % 2 / 3 36.4 % 8 / 22
theory_arrays.cpp
66.6%66.6%
 66.6 % 820 / 1231 77.1 % 37 / 48 54.9 % 549 / 1000
theory_arrays.h
83.7%83.7%
 83.7 % 36 / 43 81.8 % 9 / 11 46.7 % 14 / 30
theory_arrays_rewriter.cpp
98.1%98.1%
 98.1 % 365 / 372 100.0 % 12 / 12 73.3 % 297 / 405
theory_arrays_rewriter.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
theory_arrays_type_rules.cpp
66.7%66.7%
 66.7 % 106 / 159 58.3 % 7 / 12 51.8 % 87 / 168
type_enumerator.cpp
93.3%93.3%
 93.3 % 70 / 75 100.0 % 7 / 7 60.0 % 30 / 50

Generated by: LCOV version 1.14