LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/quantifiers/fmf Hit Total Coverage
Test: coverage.info Lines: 1589 1862 85.3 %
Date: 2026-02-22 11:44:16 Functions: 106 114 93.0 %
Branches: 1041 1702 61.2 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
bounded_integers.cpp
91.6%91.6%
 91.6 % 525 / 573 100.0 % 29 / 29 65.8 % 367 / 558
bounded_integers.h
76.9%76.9%
 76.9 % 10 / 13 60.0 % 3 / 5 100.0 % 4 / 4
first_order_model_fmc.cpp
100.0%
 100.0 % 75 / 75 100.0 % 8 / 8 72.7 % 32 / 44
full_model_check.cpp
85.7%85.7%
 85.7 % 766 / 894 90.7 % 39 / 43 62.8 % 529 / 843
full_model_check.h
100.0%
 100.0 % 10 / 10 100.0 % 4 / 4 - 0 / 0
model_builder.cpp
59.0%59.0%
 59.0 % 49 / 83 100.0 % 7 / 7 36.5 % 19 / 52
model_builder.h
100.0%
 100.0 % 4 / 4 100.0 % 3 / 3 - 0 / 0
model_engine.cpp
71.4%71.4%
 71.4 % 150 / 210 86.7 % 13 / 15 44.8 % 90 / 201

Generated by: LCOV version 1.14