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:
2
12
16.7 %
Date:
2017-01-25
Functions:
1
5
20.0 %
Function Name
Hit count
ldv_undef_int
2
ldv_undef_ulong
0
ldv_undef_int_negative
0
ldv_undef_int_nonpositive
0
ldv_undef_ptr
0
Generated by:
LCOV version 1.10