#12 Minimal - Bug and inconsistency

open
None
5
2009-12-28
2009-04-01
No

Check the attached file.
minimal ||It2_PostMin = (It1_Resulting_MTS).
minimal ||It2Min = (It1).
It1 = (OrderFood ++ UpdateStock).

It1_Resulting_MTS is just the result of the merge in It1 (copy and pasted from the Transition window). So technically they are the same.
It2_PostMin is minimised and the result is verified as correct. However It2Min is minimised but the minimised and the original are not comparable (they have a different alphabet). They should be comparable, and also, It2Min and It2_PostMin should lead to the same resulting MTS (or both raise an exception).

Discussion

  • German Sibay

    German Sibay - 2009-04-01
     
  • German Sibay

    German Sibay - 2009-04-01

    Attached file has been updated.

     
  • Dario Fischbein

    Dario Fischbein - 2009-12-28
    • assigned_to: nobody --> srdipi78
     

Log in to post a comment.