Cheri-research/Toooba
1
0
Fork 0
Code Issues 1 Pull Requests Actions Packages Projects Releases Wiki Activity

made low-impact contract flags the standard ones

Browse Source
This commit is contained in:
Franz Fuchs
2022-07-08 17:18:16 +01:00
parent 1bea2c6af2
commit bbaa2ab233
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
builds/Resources/Include_Common.mk
View File

@@ -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 \