Add bad test

egraphs-good · Jan 26, 2024 · 3f7ceb8 · 3f7ceb8
1 parent 4f26ab3
commit 3f7ceb8
Showing 1 changed file with 20 additions and 0 deletions.
diff --git a/tree_unique_args/src/switch_rewrites.rs b/tree_unique_args/src/switch_rewrites.rs
@@ -191,3 +191,23 @@ fn switch_interval2() -> Result<(), egglog::Error> {
     ";
     crate::run_test(build, check)
 }
+
+#[test]
+fn single_branch_switch() -> crate::Result {
+    let build = &*"
+(let id1 (Id (i64-fresh!)))
+(let switch1
+    (Switch
+        (Num id1 1)
+        (Pair
+            (Switch (Boolean id1 false) (Cons (Num id1 12) (Nil)))
+            (Switch (Boolean id1 false) (Cons (Num id1 12) (Nil)))
+        )))
+(ExprIsValid switch1)
+    "
+    .to_string();
+    let check = "
+(check (!= switch1 (Num id1 1)))
+    ";
+    crate::run_test(build, check)
+}