Passed

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

Took 27 ms.

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