| LCOV - code coverage report | |||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||
| Filename |
Line Coverage |
Functions |
Branches |
|||||
| pass_bv_gauss_white.cpp |
|
97.0 % | 1547 / 1595 | 100.0 % | 77 / 77 | 43.6 % | 253 / 580 | |
| pass_foreign_theory_rewrite_white.cpp |
|
100.0 % | 15 / 15 | 100.0 % | 2 / 2 | 50.0 % | 2 / 4 | |
| Generated by: LCOV version 1.14 |