diff options
Diffstat (limited to 'test/smt/lt_int_trans.unsat.sail')
| -rw-r--r-- | test/smt/lt_int_trans.unsat.sail | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/test/smt/lt_int_trans.unsat.sail b/test/smt/lt_int_trans.unsat.sail index efd930b3..289839a7 100644 --- a/test/smt/lt_int_trans.unsat.sail +++ b/test/smt/lt_int_trans.unsat.sail @@ -2,6 +2,7 @@ default Order dec $include <prelude.sail> -function check_sat(x: int, y: int, z: int) -> bool = { - if (x < y & y < z) then not_bool(x < z) else false +$property +function prop(x: int, y: int, z: int) -> bool = { + if (x < y & y < z) then x < z else true }
\ No newline at end of file |