A test framework for verifying concurrency anomalies

Curious why the commit is necessary. Couldn't that be implicit at the end of the history? Or are there histories where you don't commit?