summaryrefslogtreecommitdiff
path: root/test/smt/mem_builtins.unsat.sail
blob: eb00389118e5d0c49d4fbb779137f706afb65cd5 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
default Order dec

$include <prelude.sail>
$include <regfp.sail>

$property
function prop() -> bool = {
  __barrier(Barrier_DSB(A64_FullShare, A64_barrier_all));
  let _ = __excl_res();
  __write_mem_ea(Write_exclusive_release, 32, 0xFFFF_FFFF, 8);
  true
}