LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/fp Hit Total Coverage
Test: coverage.info Lines: 2022 2501 80.8 %
Date: 2026-03-02 11:31:58 Functions: 242 285 84.9 %
Branches: 1158 2500 46.3 %

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.8%94.8%
 94.8 % 55 / 58 100.0 % 4 / 4 48.6 % 34 / 70
fp_expand_defs.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
fp_word_blaster.cpp
86.4%86.4%
 86.4 % 532 / 616 92.0 % 115 / 125 49.6 % 289 / 583
fp_word_blaster.h
100.0%
 100.0 % 10 / 10 100.0 % 4 / 4 50.0 % 1 / 2
theory_fp.cpp
90.0%90.0%
 90.0 % 442 / 491 91.3 % 21 / 23 50.5 % 285 / 564
theory_fp.h
0.0%
 0.0 % 0 / 1 0.0 % 0 / 1 - 0 / 0
theory_fp_rewriter.cpp
82.3%82.3%
 82.3 % 666 / 809 85.7 % 60 / 70 44.7 % 345 / 771
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
68.4%68.4%
 68.4 % 13 / 19 100.0 % 2 / 2 56.2 % 9 / 16
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