LCOV - code coverage report
Current view: top level - data/source/detail/prover Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 1 56 1.8 %
Date: 2020-01-19 00:33:35 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 / 56 25.0 % 2 / 8

Generated by: LCOV version 1.13