A test framework for verifying concurrency anomalies

I believe you can just use iota in this case.