LCOV - code coverage report
Current view:
top level
-
verifier
- common.c
(
source
/ functions)
Hit
Total
Coverage
Test:
coverage.info
Lines:
6
9
66.7 %
Date:
2017-01-25
Functions:
2
4
50.0 %
Function Name
Hit count
ldv_assume
17
ldv_stop
2
__builtin_trap
0
__builtin_expect
0
Generated by:
LCOV version 1.10