[Scstudio-devel] [ scstudio-Bugs-3573812 ] Error Message in Find Flow

[SourceForge.net <no...@so...>]

Bugs item #3573812, was opened at 2012-10-02 07:18
Message generated for change (Tracker Item Submitted) made by madzin
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=1046486&aid=3573812&group_id=219467

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: Verification Algorithms
Group: None
Status: Open
Resolution: None
Priority: 5
Private: No
Submitted By: Matus  Madzin (madzin)
Assigned to: Matus  Madzin (madzin)
Summary: Error Message in Find Flow 

Initial Comment:
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

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=1046486&aid=3573812&group_id=219467