LCOV - code coverage report
Current view: top level - seahorn/lib - fuzz_allocators.c (source / functions) Hit Total Coverage
Test: all_fuzz.info Lines: 30 30 100.0 %
Date: 2021-04-23 16:28:21 Functions: 8 8 100.0 %

Function Name Sort by function name Hit count Sort by hit count
sea_malloc_safe 20463
sea_malloc_aligned 149280
sea_malloc_aligned_havoc 149280
fuzz_allocators.c:s_free_allocator 687040
fuzz_allocators.c:s_malloc_allocator 887990
bounded_malloc 4698147
can_fail_malloc 13894184
sea_allocator 14737899

Generated by: LCOV version 1.13