| Current view: | top level - /buildbot/coverage/build/src/theory/arith/rewriter | Hit | Total | Coverage | ||
| Test: | coverage.info | Lines: | 450 | 494 | 91.1 % | |
| Date: | 2026-08-29 10:29:40 | Functions: | 45 | 46 | 97.8 % | |
| Branches: | 286 | 446 | 64.1 % | |||
|
| LCOV - code coverage report | |||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||
|
| Filename |
Line Coverage  |
Functions |
Branches |
|||||
| addition.cpp |
|
84.1 % | 127 / 151 | 90.0 % | 9 / 10 | 64.3 % | 81 / 126 | |
| node_utils.cpp |
|
98.0 % | 49 / 50 | 100.0 % | 6 / 6 | 65.2 % | 30 / 46 | |
| node_utils.h |
|
96.2 % | 25 / 26 | 100.0 % | 9 / 9 | 77.3 % | 17 / 22 | |
| ordering.h |
|
100.0 % | 17 / 17 | 100.0 % | 1 / 1 | 60.0 % | 18 / 30 | |
| rewrite_atom.cpp |
|
92.8 % | 232 / 250 | 100.0 % | 20 / 20 | 63.1 % | 140 / 222 | |
|
| Generated by: LCOV version 1.14 |
