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 Sort by function name Hit count Sort by hit count
ldv_undef_int 45
ldv_undef_int_negative 1
ldv_undef_ulong 0
ldv_undef_ptr 0
ldv_undef_int_nonpositive 0

Generated by: LCOV version 1.10