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
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