A test framework for verifying concurrency anomalies

s/symmetric/false/