Some extra tests for the Display PR implementation.

sybila · Aug 13, 2024 · f2354fa · f2354fa
1 parent 6f0cfcf
commit f2354fa
Showing 1 changed file with 8 additions and 0 deletions.
diff --git 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());
+    }
 }