Enable TSO_MM for simulations

2021-07-12 15:50:33 +01:00
parent a8c4ce073d
commit cb4b67ff7d
1 changed files with 1 additions and 0 deletions
--- a/builds/Resources/Include_Common.mk
+++ b/builds/Resources/Include_Common.mk
@@ -86,6 +86,7 @@ BSC_COMPILATION_FLAGS += \
 	-D MEM64 \
 	-D RISCV \
 	-D PERFORMANCE_MONITORING \
+	-D TSO_MM \
 	-keep-fires -aggressive-conditions -no-warn-action-shadowing -check-assert \
 	-suppress-warnings G0020 -steps-max-intervals 10000000   \
 	-steps-warn-interval 1000000 \