Passed

org.overture.interpreter.tests.newtests.ModulesSlTest.testCase[2 : CountryColouringSL]

Took 23 ms.