LCOV - code coverage report | |||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||
Filename | Line Coverage | Functions | Branches | |||||
pass_bv_gauss_white.cpp |
|
97.0 % | 1531 / 1579 | 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 |