diff options
Diffstat (limited to 'test/smt/trivial_funcall.sat.sail')
| -rw-r--r-- | test/smt/trivial_funcall.sat.sail | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/test/smt/trivial_funcall.sat.sail b/test/smt/trivial_funcall.sat.sail index 48166c12..09fa5381 100644 --- a/test/smt/trivial_funcall.sat.sail +++ b/test/smt/trivial_funcall.sat.sail @@ -2,8 +2,9 @@ default Order dec $include <flow.sail> -function f((): unit) -> bool = true +function f((): unit) -> bool = false -function check_sat((): unit) -> bool = { +$property +function prop((): unit) -> bool = { f() }
\ No newline at end of file |