LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/builtin Hit Total Coverage
Test: coverage.info Lines: 621 761 81.6 %
Date: 2026-04-29 10:45:04 Functions: 55 65 84.6 %
Branches: 441 819 53.8 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
abstract_type.cpp
77.8%77.8%
 77.8 % 7 / 9 83.3 % 5 / 6 - 0 / 0
generic_op.cpp
73.4%73.4%
 73.4 % 207 / 282 91.7 % 11 / 12 57.1 % 145 / 254
proof_checker.cpp
88.1%88.1%
 88.1 % 273 / 310 91.7 % 11 / 12 50.4 % 232 / 460
proof_checker.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
theory_builtin.cpp
90.0%90.0%
 90.0 % 18 / 20 83.3 % 5 / 6 100.0 % 2 / 2
theory_builtin_rewriter.cpp
95.7%95.7%
 95.7 % 44 / 46 100.0 % 7 / 7 63.3 % 31 / 49
theory_builtin_type_rules.cpp
69.7%69.7%
 69.7 % 46 / 66 73.3 % 11 / 15 55.9 % 19 / 34
theory_builtin_type_rules.h
0.0%
 0.0 % 0 / 1 0.0 % 0 / 1 - 0 / 0
type_enumerator.cpp
96.2%96.2%
 96.2 % 25 / 26 100.0 % 4 / 4 60.0 % 12 / 20

Generated by: LCOV version 1.14