LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/quantifiers/fmf Hit Total Coverage
Test: coverage.info Lines: 1658 1962 84.5 %
Date: 2026-04-21 10:32:34 Functions: 107 115 93.0 %
Branches: 1046 1708 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
89.2%89.2%
 89.2 % 556 / 623 100.0 % 29 / 29 65.7 % 368 / 560
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.6%85.6%
 85.6 % 792 / 925 90.9 % 40 / 44 62.8 % 529 / 843
full_model_check.h
100.0%
 100.0 % 14 / 14 100.0 % 4 / 4 - 0 / 0
model_builder.cpp
57.0%57.0%
 57.0 % 49 / 86 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.2%71.2%
 71.2 % 158 / 222 86.7 % 13 / 15 45.9 % 94 / 205

Generated by: LCOV version 1.14