Menu
▾
▴
#85 Error Message in Find Flow
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
