LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/fp Hit Total Coverage
Test: coverage.info Lines: 2233 2598 86.0 %
Date: 2026-10-03 10:36:04 Functions: 251 285 88.1 %
Branches: 1312 2736 48.0 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
fp_expand_defs.cpp
100.0%
 100.0 % 58 / 58 100.0 % 4 / 4 55.7 % 39 / 70
fp_expand_defs.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
fp_word_blaster.cpp
96.6%96.6%
 96.6 % 593 / 614 95.0 % 115 / 121 49.6 % 325 / 655
fp_word_blaster.h
100.0%
 100.0 % 10 / 10 100.0 % 4 / 4 50.0 % 1 / 2
theory_fp.cpp
87.3%87.3%
 87.3 % 497 / 569 92.3 % 24 / 26 54.1 % 328 / 606
theory_fp.h
0.0%
 0.0 % 0 / 1 0.0 % 0 / 1 - 0 / 0
theory_fp_rewriter.cpp
91.2%91.2%
 91.2 % 738 / 809 92.9 % 65 / 70 46.3 % 402 / 869
theory_fp_type_rules.cpp
56.8%56.8%
 56.8 % 250 / 440 56.5 % 26 / 46 38.6 % 186 / 482
theory_fp_utils.cpp
82.5%82.5%
 82.5 % 33 / 40 100.0 % 3 / 3 55.0 % 22 / 40
type_enumerator.h
94.6%94.6%
 94.6 % 53 / 56 100.0 % 9 / 9 75.0 % 9 / 12

Generated by: LCOV version 1.14