diff options
Diffstat (limited to 'test/smt/sign_extend.unsat.sail')
| -rw-r--r-- | test/smt/sign_extend.unsat.sail | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/test/smt/sign_extend.unsat.sail b/test/smt/sign_extend.unsat.sail index 835c2ce9..91f9d192 100644 --- a/test/smt/sign_extend.unsat.sail +++ b/test/smt/sign_extend.unsat.sail @@ -2,12 +2,13 @@ default Order dec $include <prelude.sail> -function check_sat(xs: bits(16)) -> bool = { +$property +function prop(xs: bits(16)) -> bool = { var p: bool = false; if xs[15] == bitzero then { p = 0x0000 @ xs == sail_sign_extend(xs, 32); } else { p = 0xFFFF @ xs == sail_sign_extend(xs, 32); }; - not_bool(p) + p }
\ No newline at end of file |