LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/builtin Hit Total Coverage
Test: coverage.info Lines: 575 719 80.0 %
Date: 2026-01-24 12:24:20 Functions: 51 61 83.6 %
Branches: 406 775 52.4 %

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.6%73.6%
 73.6 % 203 / 276 91.7 % 11 / 12 56.5 % 140 / 248
proof_checker.cpp
86.7%86.7%
 86.7 % 247 / 285 90.9 % 10 / 11 49.3 % 216 / 438
proof_checker.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
theory_builtin.cpp
87.5%87.5%
 87.5 % 14 / 16 83.3 % 5 / 6 100.0 % 2 / 2
theory_builtin_rewriter.cpp
83.7%83.7%
 83.7 % 36 / 43 100.0 % 6 / 6 56.4 % 22 / 39
theory_builtin_type_rules.cpp
67.7%67.7%
 67.7 % 42 / 62 69.2 % 9 / 13 50.0 % 14 / 28
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