LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/quantifiers/fmf Hit Total Coverage
Test: coverage.info Lines: 1596 1867 85.5 %
Date: 2026-04-04 10:40:52 Functions: 107 115 93.0 %
Branches: 1045 1706 61.3 %

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.9 % 40 / 44 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
73.0%73.0%
 73.0 % 157 / 215 86.7 % 13 / 15 45.9 % 94 / 205

Generated by: LCOV version 1.14