Passed

org.overture.codegen.tests.output.SystemClassOutputTest.testCase[1 : ConnectTwoCPUs.vdmrt]

Took 27 ms.

Standard Output

2019-10-17 12:27:04 ERROR PrePostTrans:35 - Could not find enclosing class for method: S
2019-10-17 12:27:04 ERROR PrePostTrans:35 - Could not find enclosing class for method: S
2019-10-17 12:27:04 ERROR PrePostTrans:35 - Could not find enclosing class for method: S