| Current view: | top level - /buildbot/coverage/build/src/theory/bv/bitblast | Hit | Total | Coverage | ||
| Test: | coverage.info | Lines: | 698 | 819 | 85.2 % | |
| Date: | 2024-11-18 12:41:18 | Functions: | 83 | 105 | 79.0 % | |
| Branches: | 368 | 748 | 49.2 % | |||
|
| LCOV - code coverage report | |||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||
|
| Filename |
Line Coverage  |
Functions |
Branches |
|||||
| bitblast_proof_generator.cpp |
|
92.3 % | 24 / 26 | 100.0 % | 3 / 3 | 87.5 % | 7 / 8 | |
| bitblast_proof_generator.h |
|
50.0 % | 1 / 2 | 66.7 % | 2 / 3 | - | 0 / 0 | |
| bitblast_strategies_template.h |
|
78.6 % | 359 / 457 | 61.9 % | 26 / 42 | 43.6 % | 219 / 502 | |
| bitblast_utils.h |
|
88.8 % | 95 / 107 | 95.0 % | 19 / 20 | 58.0 % | 51 / 88 | |
| bitblaster.h |
|
95.3 % | 61 / 64 | 75.0 % | 6 / 8 | 60.0 % | 6 / 10 | |
| node_bitblaster.cpp |
|
95.0 % | 76 / 80 | 92.9 % | 13 / 14 | 53.3 % | 48 / 90 | |
| node_bitblaster.h |
|
50.0 % | 1 / 2 | 66.7 % | 2 / 3 | - | 0 / 0 | |
| proof_bitblaster.cpp |
|
100.0 % | 81 / 81 | 100.0 % | 12 / 12 | 74.0 % | 37 / 50 | |
|
| Generated by: LCOV version 1.14 |
