From bbaa2ab2335949c7c91dabd7512832481a4e03d4 Mon Sep 17 00:00:00 2001 From: Franz Fuchs Date: Fri, 8 Jul 2022 17:18:16 +0100 Subject: [PATCH] made low-impact contract flags the standard ones --- builds/Resources/Include_Common.mk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/builds/Resources/Include_Common.mk b/builds/Resources/Include_Common.mk index e459405..d9b6610 100644 --- a/builds/Resources/Include_Common.mk +++ b/builds/Resources/Include_Common.mk @@ -90,7 +90,7 @@ BSC_COMPILATION_FLAGS += \ -D PERFORMANCE_MONITORING \ -D RAS_HIT_TRACING \ -D TSO_MM \ - -D NO_SPEC_STRAIGHT_PATH -D SPEC_RSB_FIXUP -D NO_SPEC_STL -D MELTDOWN_CF \ + -D NO_SPEC_TRAINING -D NO_SPEC_REDIRECT -D NO_SPEC_STRAIGHT_PATH -D SPEC_RSB_FIXUP -D MELTDOWN_CF \ -keep-fires -aggressive-conditions -no-warn-action-shadowing -check-assert \ -suppress-warnings G0020 -steps-max-intervals 10000000 \ -steps-warn-interval 1000000 \