LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/fp Hit Total Coverage
Test: coverage.info Lines: 1896 2349 80.7 %
Date: 2025-01-30 13:40:10 Functions: 239 282 84.8 %
Branches: 1079 2368 45.6 %

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
86.0%86.0%
 86.0 % 510 / 593 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.6%89.6%
 89.6 % 424 / 473 91.3 % 21 / 23 50.2 % 267 / 532
theory_fp.h
0.0%
 0.0 % 0 / 1 0.0 % 0 / 1 - 0 / 0
theory_fp_rewriter.cpp
83.9%83.9%
 83.9 % 619 / 738 85.7 % 60 / 70 43.3 % 320 / 739
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
72.2%72.2%
 72.2 % 13 / 18 100.0 % 2 / 2 56.2 % 9 / 16
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