A test framework for verifying concurrency anomalies

s/exects/executes/g