LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/fp Hit Total Coverage
Test: coverage.info Lines: 1893 2348 80.6 %
Date: 2024-12-09 12:41:16 Functions: 238 281 84.7 %
Branches: 1075 2364 45.5 %

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.4%94.4%
 94.4 % 51 / 54 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
85.9%85.9%
 85.9 % 517 / 602 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
88.7%88.7%
 88.7 % 424 / 478 91.3 % 21 / 23 50.4 % 272 / 540
theory_fp.h
0.0%
 0.0 % 0 / 1 0.0 % 0 / 1 - 0 / 0
theory_fp_rewriter.cpp
83.8%83.8%
 83.8 % 616 / 735 85.7 % 60 / 70 43.1 % 318 / 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