1# Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved. 2# SPDX-License-Identifier: Apache-2.0. 3 4########### 5#4: 60s 6#8: 1m50s 7#16: 6m30s 8MAX_TABLE_SIZE ?= 8 9 10include ../Makefile.aws_hash_table 11 12UNWINDSET += aws_hash_table_clear.0:$(shell echo $$((1 + $(MAX_TABLE_SIZE)))) 13 14CBMCFLAGS += 15 16PROOF_UID = aws_hash_table_clean_up 17HARNESS_ENTRY = $(PROOF_UID)_harness 18HARNESS_FILE = $(PROOFDIR)/$(HARNESS_ENTRY).c 19 20PROOF_SOURCES += $(HARNESS_FILE) 21PROOF_SOURCES += $(PROOF_SOURCE)/make_common_data_structures.c 22PROJECT_SOURCES += $(SRCDIR)/source/allocator.c 23PROOF_SOURCES += $(PROOF_SOURCE)/utils.c 24 25PROOF_SOURCES += $(PROOF_STUB)/error.c 26 27PROJECT_SOURCES += $(SRCDIR)/source/common.c 28PROJECT_SOURCES += $(SRCDIR)/source/hash_table.c 29 30########### 31 32include ../Makefile.common 33