LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/quantifiers/fmf Hit Total Coverage
Test: coverage.info Lines: 1471 1730 85.0 %
Date: 2026-01-27 12:22:57 Functions: 106 114 93.0 %
Branches: 1019 1670 61.0 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
bounded_integers.cpp
91.7%91.7%
 91.7 % 488 / 532 100.0 % 29 / 29 65.6 % 358 / 546
bounded_integers.h
75.0%75.0%
 75.0 % 9 / 12 60.0 % 3 / 5 100.0 % 4 / 4
first_order_model_fmc.cpp
100.0%
 100.0 % 67 / 67 100.0 % 8 / 8 72.7 % 32 / 44
full_model_check.cpp
85.2%85.2%
 85.2 % 714 / 838 90.7 % 39 / 43 62.7 % 519 / 828
full_model_check.h
100.0%
 100.0 % 10 / 10 100.0 % 4 / 4 - 0 / 0
model_builder.cpp
54.9%54.9%
 54.9 % 39 / 71 100.0 % 7 / 7 36.5 % 19 / 52
model_builder.h
100.0%
 100.0 % 3 / 3 100.0 % 3 / 3 - 0 / 0
model_engine.cpp
71.6%71.6%
 71.6 % 141 / 197 86.7 % 13 / 15 44.4 % 87 / 196

Generated by: LCOV version 1.14