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

Function Name Sort by function name Hit count Sort by hit count
aws_byte_buf_is_bounded 148087
initialize_byte_cursor_aligned 150000
aws_byte_cursor_is_bounded 1018017
initialize_byte_cursor 4396225
initialize_byte_buf 5591942

Generated by: LCOV version 1.13