Passed

org.overture.ct.ctruntime.tests.CtRandomReductionSlTestCase.test[SingleOpCall 100.00%RANDOM]

Took 0.51 sec.