LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/builtin Hit Total Coverage
Test: coverage.info Lines: 578 724 79.8 %
Date: 2025-01-24 13:39:29 Functions: 53 64 82.8 %
Branches: 394 737 53.5 %

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
72.0%72.0%
 72.0 % 188 / 261 91.7 % 11 / 12 56.1 % 128 / 228
proof_checker.cpp
87.1%87.1%
 87.1 % 230 / 264 90.9 % 10 / 11 50.0 % 195 / 390
proof_checker.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
theory_builtin.cpp
81.8%81.8%
 81.8 % 9 / 11 80.0 % 4 / 5 - 0 / 0
theory_builtin_rewriter.cpp
89.3%89.3%
 89.3 % 67 / 75 100.0 % 8 / 8 65.1 % 41 / 63
theory_builtin_type_rules.cpp
67.5%67.5%
 67.5 % 52 / 77 66.7 % 10 / 15 50.0 % 18 / 36
theory_builtin_type_rules.h
0.0%
 0.0 % 0 / 1 0.0 % 0 / 1 - 0 / 0
type_enumerator.cpp
96.0%96.0%
 96.0 % 24 / 25 100.0 % 4 / 4 60.0 % 12 / 20

Generated by: LCOV version 1.14