LCOV - code coverage report
Current view:
top level
-
verifier
- nondet.c
(
source
/ functions)
Hit
Total
Coverage
Test:
coverage.info
Lines:
2
12
16.7 %
Date:
2017-01-25
Functions:
1
5
20.0 %
Function Name
Hit count
ldv_undef_int
7
ldv_undef_int_nonpositive
0
ldv_undef_ulong
0
ldv_undef_ptr
0
ldv_undef_int_negative
0
Generated by:
LCOV version 1.10