LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/parser/smt2 Hit Total Coverage
Test: coverage.info Lines: 2498 2801 89.2 %
Date: 2026-10-04 10:53:45 Functions: 105 118 89.0 %
Branches: 1108 1457 76.0 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
smt2_cmd_parser.cpp
95.0%95.0%
 95.0 % 590 / 621 100.0 % 3 / 3 83.8 % 150 / 179
smt2_cmd_parser.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
smt2_lexer.cpp
92.0%92.0%
 92.0 % 185 / 201 100.0 % 11 / 11 83.4 % 136 / 163
smt2_lexer.h
100.0%
 100.0 % 6 / 6 100.0 % 2 / 2 33.3 % 2 / 6
smt2_parser.cpp
100.0%
 100.0 % 17 / 17 100.0 % 4 / 4 100.0 % 2 / 2
smt2_parser.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
smt2_state.cpp
85.4%85.4%
 85.4 % 985 / 1154 85.2 % 52 / 61 74.2 % 506 / 682
smt2_state.h
85.7%85.7%
 85.7 % 30 / 35 75.0 % 6 / 8 95.0 % 19 / 20
smt2_term_parser.cpp
89.3%89.3%
 89.3 % 682 / 764 100.0 % 23 / 23 72.3 % 293 / 405
smt2_term_parser.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0

Generated by: LCOV version 1.14