LCOV - code coverage report
Current view: top level - 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 Sort by function name Hit count Sort by hit count
ldv_undef_int 7
ldv_undef_int_negative 0
ldv_undef_int_nonpositive 0
ldv_undef_ulong 0
ldv_undef_ptr 0

Generated by: LCOV version 1.10