Function testcase_generation::main
source · [−]pub(crate) fn main()Expand description
This prints the one-columns of a random truth table with 8 variables, for testcase generation. The result is to be used in src/bdd_manager/test.rs.
pub(crate) fn main()This prints the one-columns of a random truth table with 8 variables, for testcase generation. The result is to be used in src/bdd_manager/test.rs.