LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/sep Hit Total Coverage
Test: coverage.info Lines: 1096 1252 87.5 %
Date: 2025-01-17 13:23:36 Functions: 65 75 86.7 %
Branches: 820 1317 62.3 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
theory_sep.cpp
90.1%90.1%
 90.1 % 970 / 1076 97.8 % 45 / 46 63.5 % 725 / 1142
theory_sep.h
48.3%48.3%
 48.3 % 14 / 29 70.0 % 7 / 10 21.4 % 3 / 14
theory_sep_rewriter.cpp
86.6%86.6%
 86.6 % 71 / 82 100.0 % 5 / 5 74.7 % 65 / 87
theory_sep_rewriter.h
100.0%
 100.0 % 3 / 3 100.0 % 1 / 1 50.0 % 1 / 2
theory_sep_type_rules.cpp
61.3%61.3%
 61.3 % 38 / 62 53.8 % 7 / 13 36.1 % 26 / 72

Generated by: LCOV version 1.14