From cb4b67ff7dedd73709d05f69247e63c856a48bf7 Mon Sep 17 00:00:00 2001 From: Peter Rugg Date: Mon, 12 Jul 2021 15:50:33 +0100 Subject: [PATCH] Enable TSO_MM for simulations --- builds/Resources/Include_Common.mk | 1 + 1 file changed, 1 insertion(+) 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 \