org.eclipse.viatra.query.runtime.cps.tests.LiteralNumbersTest.negativeIntegerWithCheckTest[3 : LocalSearch_NoBase]
![[Jenkins]](/viatra/static/2c34a415/images/svgs/logo.svg){kind=logo}
