Comment by setheron

You can ask for as many schedules as you need `rewind check --all --schedules 3000` (for 1 in 1_000 lets say) but the code also pushes the scheduler toward bad timing: it switches threads at random points and sometimes stalls a process for up to about a millisecond, the way a busy CI machine would.