LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/test/unit/main Hit Total Coverage
Test: coverage.info Lines: 81 81 100.0 %
Date: 2024-10-28 11:39:04 Functions: 20 20 100.0 %
Branches: 10 16 62.5 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
interactive_shell_black.cpp
100.0%
100.0 % 54 / 54 100.0 % 15 / 15 62.5 % 5 / 8
interactive_shell_sygus_black.cpp
100.0%
100.0 % 27 / 27 100.0 % 5 / 5 62.5 % 5 / 8

Generated by: LCOV version 1.14