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.
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.