-
Alexandre Duret-Lutz authored
bdd_format_accset to print the acceptance condition part of the state. That produces more readable output.
3802528b
To find the state of this project's repository at the time of any of these versions, check out the tags.