diff options
Diffstat (limited to 'test/smt/shiftr_zero_1.unsat.sail')
| -rw-r--r-- | test/smt/shiftr_zero_1.unsat.sail | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/test/smt/shiftr_zero_1.unsat.sail b/test/smt/shiftr_zero_1.unsat.sail new file mode 100644 index 00000000..bcf60bb8 --- /dev/null +++ b/test/smt/shiftr_zero_1.unsat.sail @@ -0,0 +1,10 @@ +default Order dec + +$include <prelude.sail> + +register R : bits(64) + +function check_sat((): unit) -> bool = { + let x = sail_shiftright(R, 64); + not_bool(x == 0x0000_0000_0000_0000) +}
\ No newline at end of file |