-
Hans-Peter Deifel authored
This just multiplies `--out-degree` with `--states` to compute the transitions parameter and thus makes it easier to execute the `run` command with the same parameters as `bisect`
aca7bf3a
This just multiplies `--out-degree` with `--states` to compute the transitions parameter and thus makes it easier to execute the `run` command with the same parameters as `bisect`