Curtail at more false assertions

(plus some adjustments for the test case)

1 files changed, 7 insertions, 6 deletions

diff --git a/test/mono/set.sail b/test/mono/set.sail
index 203f2219..b7cf4862 100644
--- a/test/mono/set.sail
+++ b/test/mono/set.sail
@@ -35,10 +35,11 @@ function depends(n) = {
   extz(x)
 }
 
-val run : unit -> bool
+val run : unit -> unit effect {escape}
 
-function run () =
-  parametric(32) == 0x0000000080000000 &
-  parametric(64) == 0xffffffff80000000 &
-  depends(16) == 0x0000000080000000 &
-  depends(32) == 0xffffffff80000000
+function run () = {
+  assert(parametric(32) == 0x0000000080000000);
+  assert(parametric(64) == 0xffffffff80000000);
+  assert(depends(16) == 0x0000000080000000);
+  assert(depends(32) == 0xffffffff80000000);
+}