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