diff --git a/builds/Resources/Include_Common.mk b/builds/Resources/Include_Common.mk index c40c02d..119c40a 100644 --- 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 \