Passed

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

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