LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/arrays Hit Total Coverage
Test: coverage.info Lines: 1957 2568 76.2 %
Date: 2026-04-28 10:33:09 Functions: 108 140 77.1 %
Branches: 1349 2291 58.9 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
array_info.cpp
69.1%69.1%
 69.1 % 201 / 291 61.3 % 19 / 31 50.6 % 86 / 170
array_info.h
100.0%
 100.0 % 15 / 15 100.0 % 2 / 2 45.0 % 9 / 20
inference_manager.cpp
98.5%98.5%
 98.5 % 65 / 66 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
88.7%88.7%
 88.7 % 55 / 62 100.0 % 3 / 3 39.0 % 39 / 100
skolem_cache.cpp
92.9%92.9%
 92.9 % 13 / 14 75.0 % 3 / 4 36.4 % 8 / 22
theory_arrays.cpp
67.6%67.6%
 67.6 % 917 / 1356 78.0 % 39 / 50 56.6 % 656 / 1159
theory_arrays.h
84.4%84.4%
 84.4 % 38 / 45 81.8 % 9 / 11 46.7 % 14 / 30
theory_arrays_rewriter.cpp
98.7%98.7%
 98.7 % 462 / 468 100.0 % 14 / 14 75.6 % 390 / 516
theory_arrays_type_rules.cpp
67.9%67.9%
 67.9 % 114 / 168 58.3 % 7 / 12 51.7 % 93 / 180
type_enumerator.cpp
92.7%92.7%
 92.7 % 76 / 82 100.0 % 7 / 7 60.0 % 30 / 50

Generated by: LCOV version 1.14