Add tree skip test

nickdrozd · Aug 14, 2024 · 067b51e · 067b51e
1 parent 8affd85
commit 067b51e
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/src/tree.rs b/src/tree.rs
@@ -370,3 +370,17 @@ fn test_print() {
         println!("{}", comp.show(Some(params)));
     });
 }
+
+#[test]
+fn test_skip() {
+    let progs = [];
+
+    let halt = 0;
+    let params = (3, 2);
+
+    let halt = halt != 0;
+
+    for prog in progs {
+        assert!(skip(&CompProg::from_str(prog), params, halt));
+    }
+}