From 067b51e0c42f47ee95d350413cd804bc3bd4da48 Mon Sep 17 00:00:00 2001
From: Nick Drozd <nicholasdrozd@gmail.com>
Date: Wed, 14 Aug 2024 13:36:41 -0400
Subject: [PATCH] Add tree skip test

---
 src/tree.rs | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/src/tree.rs b/src/tree.rs
index 4494367e..f6aa0630 100644
--- 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));
+    }
+}