diff options
Diffstat (limited to 'test/smt/shift_or_concat4.unsat.sail')
| -rw-r--r-- | test/smt/shift_or_concat4.unsat.sail | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/test/smt/shift_or_concat4.unsat.sail b/test/smt/shift_or_concat4.unsat.sail index b8510151..7bc983f5 100644 --- a/test/smt/shift_or_concat4.unsat.sail +++ b/test/smt/shift_or_concat4.unsat.sail @@ -5,10 +5,11 @@ $include <prelude.sail> register R1 : bits(4) register R2 : bits(4) -function check_sat((): unit) -> bool = { +$property +function prop((): unit) -> bool = { let x = sail_zero_extend(R1, 8); let x = sail_shiftleft(x, 4); let y = or_vec(x, sail_zero_extend(R2, 8)); let z = R1 @ R2; - not_bool(y == z) + y == z }
\ No newline at end of file |