Menu ▾ ▴

#86 Find Flow - not minimal output

open
nobody
Verification Algorithms (14)
1
2012-10-05
2012-10-05
Matus Madzin
No

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

Discussion

  • Matus Madzin

    Matus Madzin - 2012-10-05
    • summary: Not minimal Find Flow output --> Find Flow - not minimal output
     

  • Matus Madzin

    Matus Madzin - 2012-10-05

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

     

Log in to post a comment.

MongoDB Logo MongoDB