org.eclipse.viatra.query.runtime.cps.tests.CrossResourceReferenceTest.crossRefTest_9[With DanglingFreeAssumption: false]
![[Jenkins]](/viatra/static/2bc6cb15/images/svgs/logo.svg){kind=logo}
