refine error

scmlab · Aug 23, 2024 · dad30b1 · dad30b1
1 parent 47626e1
commit dad30b1
Show file tree

Hide file tree

Showing 9 changed files with 155 additions and 1,929 deletions.
diff --git a/examples/factor.gcl b/examples/factor.gcl
@@ -1,16 +1,17 @@
 con N : Int { 0 < N }
 var p, x, y, n : Int
 var mod : Int -> Int -> Int
+var a : Bool
 
 {:  P = x * y + p = N
     Q = x > 0 ∧ y > 0 ∧ 1 > 0
 :}
-
-
-
-
 p := p + 1
 p := 3
+a := True
+[! a
+
+!]