Valid [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid ValidDerivationWithAcyclicAttribute (row 13) acyclic\ValidDerivation.xml Revision 1.13 CVS Log [Test Case Description] A model is valid if it has a reference type R1 with sml:acyclic=?false? and another reference type R2 derived from R1 such that sml:acyclic=?true? [Primary Feature Tested] 
acyclic