LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/printer/smt2 Hit Total Coverage
Test: coverage.info Lines: 1322 1396 94.7 %
Date: 2024-11-29 12:38:33 Functions: 74 79 93.7 %
Branches: 734 820 89.5 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
smt2_printer.cpp
94.7%94.7%
94.7 % 1321 / 1395 93.6 % 73 / 78 89.5 % 734 / 820
smt2_printer.h
100.0%
100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0

Generated by: LCOV version 1.14