LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/test/api/cpp Hit Total Coverage
Test: coverage.info Lines: 209 229 91.3 %
Date: 2024-09-28 11:33:24 Functions: 13 13 100.0 %
Branches: 38 70 54.3 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
two_solvers.cpp
100.0%
 100.0 % 7 / 7 100.0 % 1 / 1 50.0 % 2 / 4
boilerplate.cpp
100.0%
 100.0 % 5 / 5 100.0 % 1 / 1 50.0 % 1 / 2
reset_assertions.cpp
100.0%
 100.0 % 22 / 22 100.0 % 1 / 1 - 0 / 0
smt2_compliance.cpp
100.0%
 100.0 % 31 / 31 100.0 % 2 / 2 50.0 % 2 / 4
sep_log_api.cpp
84.7%84.7%
 84.7 % 83 / 98 100.0 % 3 / 3 54.8 % 23 / 42
ouroborous.cpp
92.4%92.4%
 92.4 % 61 / 66 100.0 % 5 / 5 55.6 % 10 / 18

Generated by: LCOV version 1.14