Wrong error message about minimal and maximal evet of HMSC node. When the node contains one message (two events), it is clear that the send is a minimal and receive is maximal event.
The message informs that it is undecidable.
Log in to post a comment.