#85 Error Message in Find Flow

open
5
2012-10-02
2012-10-02
No

The message about time constraints "Error: not decidable which event is the minimal one of the C node." should not be returned because the documentation says the time constraint satisfaction is checked after message order checking.

test case from standard tests: complete.mpr, complete_pat4.mpr

Discussion


Log in to post a comment.