1 files changed, 5 insertions, 4 deletions
diff --git a/test/smt/exception_2.unsat.sail b/test/smt/exception_2.unsat.sail
index 0a540341..795aa867 100644
--- a/test/smt/exception_2.unsat.sail
+++ b/test/smt/exception_2.unsat.sail
@@ -9,15 +9,16 @@ union exception = {
 
 register R : bool
 
-function check_sat((): unit) -> bool = {
+$property
+function prop((): unit) -> bool = {
   try {
     if R then {
-       throw(E_bool(false))
+       throw(E_bool(true))
     } else {
-       false
+       true
     }
   } catch {
     E_bool(b) => b,
-    E_unit() => true
+    E_unit() => false
   }
 }