LCOV - code coverage report
Current view: top level - 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 17
ldv_stop 2
__builtin_trap 0
__builtin_expect 0

Generated by: LCOV version 1.10