# Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
# SPDX-License-Identifier: MIT-0

HARNESS_FILE=Jobs_StartNext_harness

# Limit thing name maximum - value arbitrarily chosen
# to provide 100% coverage and to reduce unwindings
THINGNAME_MAX_LENGTH=4
EXCEED_THINGNAME_MAX_LENGTH=5

REMOVE_FUNCTION_BODY +=
UNWINDSET += isValidID.0:$(EXCEED_THINGNAME_MAX_LENGTH)

# Use a stub in place of the original function.
PROOF_SOURCES += $(PROOF_STUB)/strnAppend.c
# Rename original function (used in Makefile-jobs.common)
SED_EXPR = s/JobsStatus_t strnAppend\b/&_/

include ../Makefile-jobs.common
PROOF_UID=Jobs_StartNext