| Current view: | top level - /buildbot/coverage/build/build/src/theory | Hit | Total | Coverage | ||
| Test: | coverage.info | Lines: | 155 | 162 | 95.7 % | |
| Date: | 2024-12-26 12:37:17 | Functions: | 7 | 7 | 100.0 % | |
| Branches: | 91 | 98 | 92.9 % | |||
|
| LCOV - code coverage report | |||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||
|
| Filename |
Line Coverage  |
Functions |
Branches |
|||||
| rewriter_tables.h |
|
94.4 % | 67 / 71 | 100.0 % | 5 / 5 | 93.3 % | 56 / 60 | |
| theory_traits.h |
|
97.8 % | 44 / 45 | 100.0 % | 1 / 1 | 93.3 % | 14 / 15 | |
| type_enumerator.cpp |
|
95.7 % | 44 / 46 | 100.0 % | 1 / 1 | 91.3 % | 21 / 23 | |
|
| Generated by: LCOV version 1.14 |
