extend TypeError toJSON

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

Hide file tree

Showing 3 changed files with 1,842 additions and 2 deletions.
diff --git a/examples/factor.gcl b/examples/factor.gcl
@@ -5,9 +5,23 @@ var mod : Int -> Int -> Int
 {:  P = x * y + p = N
     Q = x > 0 ∧ y > 0 ∧ 1 > 0
 :}
+
+
+
+
 p := p + 1
 p := 3
 
+
+
+x := 3
+x := 3
+x := 3
+
+
+
+
+
 p := 3
 p := 5
 p,x,y := N-1, 1, 1