org.eclipse.viatra.query.runtime.cps.tests.CrossResourceContainmentTest.crossContTest_4[With DanglingFreeAssumption: unset]
![[Jenkins]](/viatra/static/03485665/images/svgs/logo.svg){kind=logo}
