Passed

org.overture.interpreter.tests.newtests.ModulesSlTest.testCase[12 : set1_val_init_errorSL]

Took 5 ms.