LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/sep Hit Total Coverage
Test: coverage.info Lines: 1103 1256 87.8 %
Date: 2024-09-19 10:47:20 Functions: 65 75 86.7 %
Branches: 817 1313 62.2 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
theory_sep.cpp
90.5%90.5%
 90.5 % 977 / 1080 97.8 % 45 / 46 63.4 % 722 / 1138
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