feat(test): bdd.is_implied_by

sybila · May 17, 2024 · aa8b4b5 · aa8b4b5
1 parent ca3eda7
commit aa8b4b5
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/src/bdd/traits/boolean_function.rs b/src/bdd/traits/boolean_function.rs
@@ -752,4 +752,15 @@ mod tests {
         assert_eq!(evaluated_with_true, evaluated_with_false);
         assert!(evaluated_with_true)
     }
+
+    #[test]
+    fn test_is_implied_by_unit_ok() {
+        let f = Bdd::try_from(bool(false)).expect("Should not panic here");
+        let t = Bdd::try_from(bool(true)).expect("Should not panic here");
+
+        assert!(f.is_implied_by(&f));
+        assert!(t.is_implied_by(&f));
+        assert!(!f.is_implied_by(&t));
+        assert!(t.is_implied_by(&t));
+    }
 }