LCOV - code coverage report
Current view: top level - seahorn/lib - fuzz_priority_queue_helper.c (source / functions) Hit Total Coverage
Test: all_fuzz.info Lines: 13 16 81.2 %
Date: 2021-04-23 16:28:21 Functions: 2 3 66.7 %

Function Name Sort by function name Hit count Sort by hit count
nd_aws_priority_queue_compare_fn 0
aws_priority_queue_is_bounded 524179
initialize_priority_queue 600000

Generated by: LCOV version 1.13