[Scstudio-devel] [ scstudio-Bugs-3574824 ] Find Flow - not minimal output

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

Bugs item #3574824, was opened at 2012-10-05 08:28
Message generated for change (Comment added) made by madzin
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=1046486&aid=3574824&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: 1
Private: No
Submitted By: Matus  Madzin (madzin)
Assigned to: Nobody/Anonymous (nobody)
Summary: Find Flow - not minimal output

Initial Comment:
The result of Find Flow on HMSC is not the minimal one. 

Test directory: ./membership_test cycle_neg_hmsc.mpr cycle_neg_pat.mpr 
The result is stored also in cycle_neg_pat.mpr.result

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

Comment By: Matus  Madzin (madzin)
Date: 2012-10-05 08:50

Message:
the same problem with 
./membership_test empty_neg_hmsc.mpr empty_neg_pat.mpr

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

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