Passed
org.overture.codegen.tests.output.SystemClassOutputTest.testCase[1 : ConnectTwoCPUs.vdmrt]
Standard Output
2020-05-17 19:24:00 ERROR PrePostTrans:35 - Could not find enclosing class for method: S 2020-05-17 19:24:00 ERROR PrePostTrans:35 - Could not find enclosing class for method: S 2020-05-17 19:24:00 ERROR PrePostTrans:35 - Could not find enclosing class for method: S