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
Log in to post a comment.
