[Scstudio-devel] [ scstudio-Bugs-3573809 ] Path in HMSC diff

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

Bugs item #3573809, was opened at 2012-10-02 07:04
Message generated for change (Tracker Item Submitted) made by madzin
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=1046486&aid=3573809&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: Path in HMSC diff

Initial Comment:
In result of Find Flow, the path in HMSC diff is all green, but the flow does not meet the path in specification. 
Is it correct that all path is green? 

Test case is in tests: hard_neg_hmsc.mpr, hard_neg_pat.mpr

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

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