From df325dfefda5d7ffbfd3870c2af0378cb3862e07 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Thu, 18 Jul 2019 17:57:42 +0100
Subject: Add a feature flag for barrier type change

Fix SMT mem_builtin test case
---
 test/smt/mem_builtins.unsat.sail | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test')

diff --git a/test/smt/mem_builtins.unsat.sail b/test/smt/mem_builtins.unsat.sail
index 28e44658..eb003891 100644
--- a/test/smt/mem_builtins.unsat.sail
+++ b/test/smt/mem_builtins.unsat.sail
@@ -5,7 +5,7 @@ $include <regfp.sail>
 
 $property
 function prop() -> bool = {
-  __barrier(Barrier_DSB);
+  __barrier(Barrier_DSB(A64_FullShare, A64_barrier_all));
   let _ = __excl_res();
   __write_mem_ea(Write_exclusive_release, 32, 0xFFFF_FFFF, 8);
   true
-- 
cgit v1.2.3