LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/build/src/options Hit Total Coverage
Test: coverage.info Lines: 5516 5655 97.5 %
Date: 2024-11-22 12:41:49 Functions: 258 261 98.9 %
Branches: 3088 3699 83.5 %

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
49.2%49.2%
 49.2 % 30 / 61 50.0 % 1 / 2 58.0 % 47 / 81
bv_options.cpp
86.2%86.2%
 86.2 % 50 / 58 100.0 % 8 / 8 84.4 % 38 / 45
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 % 52 / 52 100.0 % 34 / 34 100.0 % 2 / 2
options.cpp
96.3%96.3%
 96.3 % 103 / 107 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 % 4043 / 4054 100.0 % 18 / 18 80.5 % 1996 / 2480
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