Arguments (after --): --seed N, --count N (seeds per case), --only NAME, --max-len N, --list.
Prints CASE <name> <seed> <max_len> before every call so the last line names the culprit when
the process dies, and DONE <calls> at the end. Returns the process exit code.
run_cases :: (cases: [] Case) -> s32
Parameters
- cases: [] Case
Returns
- s32