LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/test/api/c Hit Total Coverage
Test: coverage.info Lines: 222 235 94.5 %
Date: 2026-09-06 09:46:43 Functions: 11 11 100.0 %
Branches: 39 66 59.1 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
boilerplate.c
100.0%
 100.0 % 10 / 10 100.0 % 1 / 1 - 0 / 0
ouroborous.c
100.0%
 100.0 % 67 / 67 100.0 % 5 / 5 57.1 % 16 / 28
reset_assertions.c
100.0%
 100.0 % 27 / 27 100.0 % 1 / 1 - 0 / 0
sep_log_api.c
84.1%84.1%
 84.1 % 69 / 82 100.0 % 1 / 1 57.7 % 15 / 26
smt2_compliance.c
100.0%
 100.0 % 36 / 36 100.0 % 2 / 2 75.0 % 6 / 8
two_solvers.c
100.0%
 100.0 % 13 / 13 100.0 % 1 / 1 50.0 % 2 / 4

Generated by: LCOV version 1.14