Crate testcase_generation
source · [−]Functions
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.
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.