add #133 test

egraphs-good · Sep 15, 2023 · 53f399a · 53f399a
1 parent dea6dc8
commit 53f399a
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/tests/repro-constraineq3.egg b/tests/repro-constraineq3.egg
@@ -0,0 +1,8 @@
+(relation f (i64))
+
+(rule ((= x 1)
+       (= x 2))
+      ((f x)))
+
+(run 1)
+(print-table f)