| LCOV - code coverage report | |||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||
| Filename |
Line Coverage |
Functions |
Branches |
|||||
| pass_bv_gauss_white.cpp |
|
97.0 % | 1576 / 1624 | 100.0 % | 151 / 151 | 50.2 % | 663 / 1322 | |
| pass_foreign_theory_rewrite_white.cpp |
|
100.0 % | 16 / 16 | 100.0 % | 4 / 4 | 50.0 % | 11 / 22 | |
| Generated by: LCOV version 1.14 |