LCOV - code coverage report
Current view: top level - home/alexey/klever/native-scheduler-work-dir/native-scheduler-work-dir/scheduler/jobs/032ed983781f2acce615a4df71b22f31/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 Sort by function name Hit count Sort by hit count
ldv_assume 28
ldv_stop 5
__builtin_expect 0
__builtin_trap 0

Generated by: LCOV version 1.10