• 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
Generator.hs 4.68 KB