use super::*;
pub fn mk_small_test_bdd() -> Bdd {
let mut bdd = Bdd::mk_true(5);
bdd.push_node(BddNode::mk_node(
BddVariable(3), BddPointer::one(),
BddPointer::zero(),
));
bdd.push_node(BddNode::mk_node(
BddVariable(2), BddPointer::zero(),
bdd.root_pointer(),
));
return bdd;
}
pub fn mk_5_variable_set() -> BddVariableSet {
BddVariableSet::new(&["v1", "v2", "v3", "v4", "v5"])
}
pub fn load_expected_results(test_name: &str) -> String {
return std::fs::read_to_string(format!("res/test_results/{}", test_name))
.expect("Cannot open result file.");
}