summaryrefslogtreecommitdiff
path: root/test/smt/zeros_3.unsat.sail
blob: 0c271660b32092ea9878223ee57abde4528db4c8 (plain)
1
2
3
4
5
6
7
8
default Order dec

$include <vector_dec.sail>

$property
function prop((): unit) -> bool = {
  0x0000_0000_0000_0000_1 != sail_zeros(68)
}