The asserted ordering of events was not in fact guaranteed.
We asserted that two executions waited, started, waited,
started; but in fact both could wait, then one could
start, then the other could start. Changed around the
assertions to test only orderings that should be
guaranteed.
The asserted ordering of events was not in fact guaranteed. We asserted that two executions waited, started, waited, started; but in fact both could wait, then one could start, then the other could start. Changed around the assertions to test only orderings that should be guaranteed.