[Primary Feature Tested] acyclic [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InvalidDerivationWithAcyclicAttribute (row 7) acyclic\InValidDerivation.xml Revision 1.14 CVS Log [Test Case Description] A model is invalid if it has a reference type R1 with sml:acyclic=?true? and another reference type R2 derived from R1 such that sml:acyclic=?false?
Invalid
I n v a l i d
V a l i d