diff options
Diffstat (limited to 'test/smt')
| -rw-r--r-- | test/smt/mem_builtins.unsat.sail | 2 |
1 files changed, 1 insertions, 1 deletions
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 |