config for worst case

This commit is contained in:
Alwin Berger 2025-02-19 12:11:47 +01:00
parent b17c89106b
commit 4bb52ce75f
2 changed files with 3 additions and 2 deletions

View File

@ -197,6 +197,9 @@ endif
ifeq ($(IGNORE_INTERNAL_STATE), 1) ifeq ($(IGNORE_INTERNAL_STATE), 1)
CFLAGS += -D IGNORE_INTERNAL_STATE=1 CFLAGS += -D IGNORE_INTERNAL_STATE=1
endif endif
ifeq ($(INSERT_WC), 1)
CFLAGS += -D INSERT_WC=1
endif
CFLAGS += $(SPECIAL_CFLAGS) CFLAGS += $(SPECIAL_CFLAGS)
DEFINES := -DQEMU_SOC_MPS2 -DHEAP3 DEFINES := -DQEMU_SOC_MPS2 -DHEAP3

View File

@ -33,8 +33,6 @@
#define NUM_TASKS 10 #define NUM_TASKS 10
#include "fuzzhelper.c" #include "fuzzhelper.c"
#define INSERT_WC
#ifdef INSERT_WC #ifdef INSERT_WC
#define DEBUG_VAL(X,D) (D) #define DEBUG_VAL(X,D) (D)
#define WCET_CLAMP(X, LB, UB, LABEL) WASTE_NSEC(UB) #define WCET_CLAMP(X, LB, UB, LABEL) WASTE_NSEC(UB)