[Primary Feature Tested] acyclic Valid [Eclipse COSMOS 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? [Microsoft Result] 
Valid
I n v a l i d
V a l i d