[Primary Feature Tested] acyclic Valid [Eclipse COSMOS Result] Valid Valid AcyclicValidCycleSameDoc.xml (row 150) AcyclicValidCycleSameDoc.xml No CVS revision information was found for this file [Test Case Description] Let R1 be a reference type with sml:acyclic=᾿false᾿. Then a model is valid if it has same-document cycles using instances of R1 [Microsoft Result] 
Valid
I n v a l i d
V a l i d