summaryrefslogtreecommitdiff
path: root/test/smt/mem_builtins.unsat.sail
blob: 28e4465852de047ba52f7f4bd7278b7a909f0e3a (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);
  let _ = __excl_res();
  __write_mem_ea(Write_exclusive_release, 32, 0xFFFF_FFFF, 8);
  true
}