Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

Close

#98 Time race wrong counterexample

None
open
nobody
None
9
2014-01-29
2014-01-29
Matus Madzin
No

Time race checker returns counterexample where a message is in conflict with action. Please see attached files.

2 Attachments

Discussion