From f2354fa08091d9b31b109bb4288f3c409e2413c7 Mon Sep 17 00:00:00 2001
From: Samuel Pastva <sam.pastva@gmail.com>
Date: Tue, 13 Aug 2024 11:14:40 +0200
Subject: [PATCH] Some extra tests for the `Display` PR implementation.

---
 src/_impl_bdd_variable_set.rs | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/src/_impl_bdd_variable_set.rs b/src/_impl_bdd_variable_set.rs
index a74c596..868971b 100644
--- a/src/_impl_bdd_variable_set.rs
+++ b/src/_impl_bdd_variable_set.rs
@@ -583,4 +583,12 @@ mod tests {
         let f1 = ctx_1.eval_expression_string("a & y | !c");
         assert_eq!(None, ctx_2.transfer_from(&f1, &ctx_1));
     }
+
+    #[test]
+    fn bdd_variable_set_print() {
+        let ctx = BddVariableSet::new(&["a", "b", "x", "c", "y"]);
+        assert_eq!("[a,b,x,c,y]", ctx.to_string());
+        let ctx = BddVariableSet::new(&[]);
+        assert_eq!("[]", ctx.to_string());
+    }
 }