LCOV - code coverage report
Current view: top level - seahorn/lib - fuzz_hash_table_helper.c (source / functions) Hit Total Coverage
Test: all_fuzz.info Lines: 24 115 20.9 %
Date: 2021-04-23 16:28:21 Functions: 2 17 11.8 %

Function Name Sort by function name Hit count Sort by hit count
assert_hash_table_unchanged 0
aws_hash_table_deep_entry_count 0
aws_hash_table_deep_is_empty 0
aws_hash_table_entry_count_is_valid 0
aws_hash_table_has_an_empty_slot 0
hash_proof_destroy_noop 0
hash_table_state_has_an_empty_slot 0
initialize_aws_hash_iter 0
mk_valid_aws_hash_iter 0
nd_hash_equals_fn 0
nd_hash_fn 0
nd_hash_iter_status 0
save_byte_from_hash_table 0
uninterpreted_destroy_fn 0
uninterpreted_equals 0
ensure_hash_table_has_valid_destroy_functions 144645
initialize_bounded_aws_hash_table 2300000

Generated by: LCOV version 1.13