LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/arith/rewriter Hit Total Coverage
Test: coverage.info Lines: 385 423 91.0 %
Date: 2025-03-20 13:15:35 Functions: 43 44 97.7 %
Branches: 258 399 64.7 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
addition.cpp
80.0%80.0%
 80.0 % 96 / 120 87.5 % 7 / 8 60.4 % 61 / 101
node_utils.cpp
97.7%97.7%
 97.7 % 43 / 44 100.0 % 6 / 6 65.2 % 30 / 46
node_utils.h
96.3%96.3%
 96.3 % 26 / 27 100.0 % 9 / 9 75.0 % 15 / 20
ordering.h
96.8%96.8%
 96.8 % 30 / 31 100.0 % 2 / 2 71.7 % 33 / 46
rewrite_atom.cpp
94.5%94.5%
 94.5 % 190 / 201 100.0 % 19 / 19 64.0 % 119 / 186

Generated by: LCOV version 1.14