LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/fp Hit Total Coverage
Test: coverage.info Lines: 1887 2340 80.6 %
Date: 2024-09-27 12:14:44 Functions: 238 281 84.7 %
Branches: 1073 2362 45.4 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
fp_expand_defs.cpp
94.7%94.7%
 94.7 % 54 / 57 100.0 % 4 / 4 48.5 % 32 / 66
fp_expand_defs.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
fp_word_blaster.cpp
86.1%86.1%
 86.1 % 512 / 595 92.0 % 115 / 125 49.2 % 283 / 575
fp_word_blaster.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
theory_fp.cpp
89.2%89.2%
 89.2 % 423 / 474 91.3 % 21 / 23 50.4 % 271 / 538
theory_fp.h
0.0%
 0.0 % 0 / 1 0.0 % 0 / 1 - 0 / 0
theory_fp_rewriter.cpp
83.4%83.4%
 83.4 % 613 / 735 85.7 % 60 / 70 43.0 % 317 / 737
theory_fp_type_rules.cpp
54.5%54.5%
 54.5 % 228 / 418 56.5 % 26 / 46 37.1 % 159 / 428
theory_fp_utils.cpp
100.0%
 100.0 % 6 / 6 100.0 % 1 / 1 33.3 % 2 / 6
type_enumerator.h
94.2%94.2%
 94.2 % 49 / 52 100.0 % 9 / 9 75.0 % 9 / 12

Generated by: LCOV version 1.14