LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/test/api/cpp Hit Total Coverage
Test: coverage.info Lines: 219 243 90.1 %
Date: 2026-03-06 12:12:49 Functions: 13 13 100.0 %
Branches: 45 86 52.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 % 8 / 8 100.0 % 1 / 1 50.0 % 2 / 4
reset_assertions.cpp
100.0%
 100.0 % 22 / 22 100.0 % 1 / 1 - 0 / 0
boilerplate.cpp
100.0%
 100.0 % 6 / 6 100.0 % 1 / 1 50.0 % 1 / 2
smt2_compliance.cpp
100.0%
 100.0 % 32 / 32 100.0 % 2 / 2 50.0 % 2 / 4
sep_log_api.cpp
83.8%83.8%
 83.8 % 88 / 105 100.0 % 3 / 3 53.6 % 30 / 56
ouroborous.cpp
90.0%90.0%
 90.0 % 63 / 70 100.0 % 5 / 5 50.0 % 10 / 20

Generated by: LCOV version 1.14