LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/build/src/options Hit Total Coverage
Test: coverage.info Lines: 5738 5888 97.5 %
Date: 2026-03-12 10:42:46 Functions: 260 263 98.9 %
Branches: 3174 3812 83.3 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
arith_options.cpp
93.5%93.5%
 93.5 % 116 / 124 100.0 % 16 / 16 92.2 % 94 / 102
base_options.cpp
48.8%48.8%
 48.8 % 39 / 80 75.0 % 3 / 4 54.5 % 54 / 99
bv_options.cpp
87.5%87.5%
 87.5 % 49 / 56 100.0 % 8 / 8 85.7 % 36 / 42
datatypes_options.cpp
93.9%93.9%
 93.9 % 46 / 49 100.0 % 6 / 6 92.9 % 39 / 42
decision_options.cpp
92.7%92.7%
 92.7 % 38 / 41 100.0 % 6 / 6 90.0 % 27 / 30
ff_options.cpp
92.3%92.3%
 92.3 % 12 / 13 100.0 % 2 / 2 88.9 % 8 / 9
io_utils.cpp
100.0%
 100.0 % 53 / 53 100.0 % 34 / 34 100.0 % 2 / 2
options.cpp
97.0%97.0%
 97.0 % 128 / 132 92.9 % 26 / 28 50.0 % 1 / 2
options.h
100.0%
 100.0 % 2 / 2 100.0 % 1 / 1 - 0 / 0
options_public.cpp
99.7%99.7%
 99.7 % 4231 / 4244 100.0 % 18 / 18 80.6 % 2077 / 2578
parallel_options.cpp
93.6%93.6%
 93.6 % 44 / 47 100.0 % 6 / 6 92.3 % 36 / 39
parser_options.cpp
93.3%93.3%
 93.3 % 14 / 15 100.0 % 2 / 2 91.7 % 11 / 12
printer_options.cpp
94.1%94.1%
 94.1 % 16 / 17 100.0 % 2 / 2 93.3 % 14 / 15
proof_options.cpp
94.1%94.1%
 94.1 % 64 / 68 100.0 % 8 / 8 93.3 % 56 / 60
prop_options.cpp
92.7%92.7%
 92.7 % 38 / 41 100.0 % 6 / 6 90.0 % 27 / 30
quantifiers_options.cpp
93.6%93.6%
 93.6 % 530 / 566 100.0 % 72 / 72 92.4 % 435 / 471
smt_options.cpp
93.9%93.9%
 93.9 % 154 / 164 100.0 % 20 / 20 92.9 % 131 / 141
strings_options.cpp
93.9%93.9%
 93.9 % 62 / 66 100.0 % 8 / 8 93.0 % 53 / 57
theory_options.cpp
92.6%92.6%
 92.6 % 88 / 95 100.0 % 14 / 14 89.9 % 62 / 69
uf_options.cpp
93.3%93.3%
 93.3 % 14 / 15 100.0 % 2 / 2 91.7 % 11 / 12

Generated by: LCOV version 1.14