LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/arith/nl Hit Total Coverage
Test: coverage.info Lines: 1618 2132 75.9 %
Date: 2024-10-04 11:37:48 Functions: 130 155 83.9 %
Branches: 949 1795 52.9 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
coverings_solver.cpp
63.5%63.5%
 63.5 % 73 / 115 75.0 % 6 / 8 37.1 % 43 / 116
equality_substitution.cpp
88.2%88.2%
 88.2 % 105 / 119 100.0 % 7 / 7 59.1 % 68 / 115
equality_substitution.h
100.0%
 100.0 % 3 / 3 100.0 % 3 / 3 - 0 / 0
ext_theory_callback.cpp
94.0%94.0%
 94.0 % 47 / 50 100.0 % 3 / 3 80.0 % 32 / 40
ext_theory_callback.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
iand_solver.cpp
78.3%78.3%
 78.3 % 130 / 166 61.5 % 8 / 13 50.9 % 54 / 106
iand_utils.cpp
95.2%95.2%
 95.2 % 99 / 104 92.3 % 12 / 13 57.6 % 53 / 92
nl_lemma_utils.cpp
74.1%74.1%
 74.1 % 20 / 27 66.7 % 4 / 6 66.7 % 12 / 18
nl_lemma_utils.h
100.0%
 100.0 % 17 / 17 83.3 % 5 / 6 - 0 / 0
nl_model.cpp
69.7%69.7%
 69.7 % 425 / 610 95.8 % 23 / 24 51.8 % 316 / 610
nonlinear_extension.cpp
82.2%82.2%
 82.2 % 236 / 287 83.3 % 10 / 12 61.7 % 145 / 235
nonlinear_extension.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
poly_conversion.cpp
62.9%62.9%
 62.9 % 269 / 428 77.1 % 27 / 35 40.8 % 141 / 346
pow2_solver.cpp
95.7%95.7%
 95.7 % 88 / 92 88.9 % 8 / 9 63.0 % 29 / 46
stats.cpp
100.0%
 100.0 % 4 / 4 100.0 % 1 / 1 - 0 / 0
strategy.cpp
92.5%92.5%
 92.5 % 99 / 107 90.9 % 10 / 11 78.9 % 56 / 71
strategy.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0

Generated by: LCOV version 1.14