LCOV - code coverage report
Current view: top level - seahorn/lib - fuzz_string_helper.c (source / functions) Hit Total Coverage
Test: all_fuzz.info Lines: 80 107 74.8 %
Date: 2021-04-23 16:28:21 Functions: 7 10 70.0 %

Function Name Sort by function name Hit count Sort by hit count
aws_byte_buf_has_allocator 181101
ensure_c_str_is_nd_allocated 806176
ensure_c_str_is_nd_allocated_aligned 0
ensure_c_str_is_nd_allocated_safe 829085
ensure_string_is_allocated 2938062
ensure_string_is_allocated_bounded_length 2963592
ensure_string_is_allocated_nondet_length 438110
fuzz_string_helper.c:_ensure_c_str_is_nd_allocated 1635261
fuzz_string_helper.c:_ensure_c_str_is_nd_allocated_aligned 0
fuzz_string_helper.c:sea_init_str 0

Generated by: LCOV version 1.13