| Current view: | top level - /buildbot/coverage/build/test/api/c | Hit | Total | Coverage | ||
| Test: | coverage.info | Lines: | 208 | 221 | 94.1 % | |
| Date: | 2024-09-19 10:47:20 | Functions: | 10 | 10 | 100.0 % | |
| Branches: | 38 | 64 | 59.4 % | |||
|
| LCOV - code coverage report | |||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||
|
| Filename |
Line Coverage  |
Functions |
Branches |
|||||
| boilerplate.c |
|
100.0 % | 9 / 9 | 100.0 % | 1 / 1 | - | 0 / 0 | |
| ouroborous.c |
|
100.0 % | 59 / 59 | 100.0 % | 4 / 4 | 57.7 % | 15 / 26 | |
| reset_assertions.c |
|
100.0 % | 26 / 26 | 100.0 % | 1 / 1 | - | 0 / 0 | |
| sep_log_api.c |
|
84.0 % | 68 / 81 | 100.0 % | 1 / 1 | 57.7 % | 15 / 26 | |
| smt2_compliance.c |
|
100.0 % | 34 / 34 | 100.0 % | 2 / 2 | 75.0 % | 6 / 8 | |
| two_solvers.c |
|
100.0 % | 12 / 12 | 100.0 % | 1 / 1 | 50.0 % | 2 / 4 | |
|
| Generated by: LCOV version 1.14 |
