LCOV - code coverage report
Current view:
top level
-
home/alexey/klever/native-scheduler-work-dir/native-scheduler-work-dir/scheduler/jobs/032ed983781f2acce615a4df71b22f31/verifier
- nondet.c
(
source
/ functions)
Hit
Total
Coverage
Test:
coverage.info
Lines:
5
12
41.7 %
Date:
2017-01-25
Functions:
2
5
40.0 %
Function Name
Hit count
ldv_undef_int
15
ldv_undef_int_negative
1
ldv_undef_ptr
0
ldv_undef_int_nonpositive
0
ldv_undef_ulong
0
Generated by:
LCOV version 1.10