Break it, fix it, predict it

Being shown a failing interleaving teaches far less than constructing one. Here you are the scheduler: choose who runs next and find the ordering that goes wrong. Then choose a fix — and it is accepted only if the whole outcome space comes back clean, which is the check a passing test suite cannot perform.

10 exercises