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-09 12:04:23 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
boilerplate.cpp
100.0%
100.0 % 5 / 5 100.0 % 1 / 1 50.0 % 1 / 2
ouroborous.cpp
92.4%92.4%
92.4 % 61 / 66 100.0 % 5 / 5 55.6 % 10 / 18
reset_assertions.cpp
100.0%
100.0 % 22 / 22 100.0 % 1 / 1 - 0 / 0
sep_log_api.cpp
84.7%84.7%
84.7 % 83 / 98 100.0 % 3 / 3 54.8 % 23 / 42
smt2_compliance.cpp
100.0%
100.0 % 31 / 31 100.0 % 2 / 2 50.0 % 2 / 4
two_solvers.cpp
100.0%
100.0 % 7 / 7 100.0 % 1 / 1 50.0 % 2 / 4

Generated by: LCOV version 1.14