Passed

org.overture.codegen.tests.output.SystemClassOutputTest.testCase[2 : EmptySysClass.vdmrt]

Took 6 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