LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/parser/smt2 Hit Total Coverage
Test: coverage.info Lines: 2262 2546 88.8 %
Date: 2024-10-22 11:38:46 Functions: 104 117 88.9 %
Branches: 1043 1378 75.7 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
smt2_cmd_parser.cpp
93.5%93.5%
 93.5 % 522 / 558 100.0 % 3 / 3 83.4 % 146 / 175
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 % 183 / 199 100.0 % 11 / 11 83.6 % 133 / 159
smt2_lexer.h
100.0%
 100.0 % 6 / 6 100.0 % 2 / 2 33.3 % 2 / 6
smt2_parser.cpp
100.0%
 100.0 % 15 / 15 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.6%85.6%
 85.6 % 897 / 1048 85.2 % 52 / 61 74.2 % 469 / 632
smt2_state.h
72.4%72.4%
 72.4 % 21 / 29 71.4 % 5 / 7 85.0 % 17 / 20
smt2_term_parser.cpp
89.4%89.4%
 89.4 % 615 / 688 100.0 % 23 / 23 71.4 % 274 / 384
smt2_term_parser.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0

Generated by: LCOV version 1.14