test/smt/gvector_trivial.unsat.sail


1
2
3
4
5
6
7
8
9
10
11

default Order dec

$include <prelude.sail>

register R : vector(32, dec, bitvector(32, dec))

$property
function prop() -> bool = {
  R[0] = 0xDEAD_BEEF;
  R[0] == 0xDEAD_BEEF
}