Path	Lines of Code
verification/cbmc/stubs/abort_override_assert_false.c	4
verification/cbmc/stubs/aws_array_list_swap_override.c	21
verification/cbmc/stubs/aws_byte_cursor_read_be16_override.c	23
verification/cbmc/stubs/aws_hash_iter_overrides.c	61
verification/cbmc/stubs/aws_hash_table_find_override.c	26
verification/cbmc/stubs/aws_hash_table_no_slots_override.c	146
verification/cbmc/stubs/aws_string_destroy_override.c	7
verification/cbmc/stubs/aws_string_new_from_array_override.c	15
verification/cbmc/stubs/empty-source-file.c	1
verification/cbmc/stubs/error.c	8
verification/cbmc/stubs/hash_table_generators.c	39
verification/cbmc/stubs/memcpy_override.c	21
verification/cbmc/stubs/memcpy_override_havoc.c	24
verification/cbmc/stubs/memcpy_override_no_op.c	19
verification/cbmc/stubs/memcpy_using_uint64.c	43
verification/cbmc/stubs/memmove_override.c	30
verification/cbmc/stubs/memmove_override_havoc.c	20
verification/cbmc/stubs/memmove_override_no_op.c	19
verification/cbmc/stubs/memset_override.c	19
verification/cbmc/stubs/memset_override_0.c	21
verification/cbmc/stubs/memset_override_havoc.c	19
verification/cbmc/stubs/memset_override_no_op.c	14
verification/cbmc/stubs/memset_using_uint64.c	48
verification/cbmc/stubs/qsort_override.c	11
verification/cbmc/stubs/s_emplace_item_override.c	27
verification/cbmc/stubs/s_expand_table_override.c	31
verification/cbmc/stubs/s_remove_entry_override.c	22
verification/cbmc/stubs/s_remove_node_override.c	18
verification/cbmc/stubs/s_sift_either_override.c	7
verification/cbmc/stubs/s_sift_up_override.c	8
verification/cbmc/stubs/s_swap_override_no_op.c	12