• Hans-Peter Deifel's avatar
    wta: Guard against too many transitions · 80d78438
    Hans-Peter Deifel authored
    When the user requests more transitions than the maximal number for the given
    automaton, the current generator runs into an endless loop trying to find new
    unused transitions. We now detect this case early and throw an error.
    80d78438
Name
Last commit
Last update
bench Loading commit data...
doc Loading commit data...
examples Loading commit data...
src Loading commit data...
tests Loading commit data...
.gitignore Loading commit data...
.gitlab-ci.yml Loading commit data...
LICENSE Loading commit data...
README.md Loading commit data...
Setup.hs Loading commit data...
build.sh Loading commit data...
cabal.project Loading commit data...
copar.cabal Loading commit data...
stack.yaml Loading commit data...