Passed

org.overture.interpreter.tests.newtests.ModulesSlTest.testCase[5 : CMSL]

Took 57 ms.