-
- Downloads
wta: Add out-degree parameter to 'run' command
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`
Please register or sign in to comment