15 lines
414 B
Makefile
15 lines
414 B
Makefile
# Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
|
|
# SPDX-License-Identifier: MIT
|
|
|
|
HARNESS_FILE=strnAppend_harness
|
|
|
|
# This value was experimentally chosen to provide 100% coverage
|
|
# without tripping unwinding assertions and without exhausting memory.
|
|
CBMC_MAX_BUFSIZE=10
|
|
|
|
REMOVE_FUNCTION_BODY +=
|
|
UNWINDSET += strnAppend.0:$(CBMC_MAX_BUFSIZE)
|
|
|
|
include ../Makefile-jobs.common
|
|
PROOF_UID=strnAppend
|