LCOV - code coverage report
Current view: top level - data/source/detail/prover Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 1 57 1.8 %
Date: 2019-07-19 02:46:18 Functions: 2 8 25.0 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
smt_lib_solver.cpp
1.8%1.8%
1.8 % 1 / 57 25.0 % 2 / 8

Generated by: LCOV version 1.12