-
Alexandre Duret-Lutz authored
bdd_format_accset to print the acceptance condition part of the state. That produces more readable output.
3802528b
bdd_format_accset to print the acceptance condition part of the state. That produces more readable output.