SuccessChanges

Summary

  1. Clean up CG tests (details)
  2. CG fix: collect definitions for implicit operation bodies (details)
The file was modifiedcore/codegen/javagen/src/test/resources/sl_specs/Renaming.vdmsl (diff)
Commit 76c9bb3845c4360729b5cd0b261c1987b4e89a4c by Peter W. V. Tran-Jørgensen
CG fix: collect definitions for implicit operation bodies
The file was modifiedcore/codegen/platform/src/main/java/org/overture/codegen/analysis/vdm/IdStateDesignatorDefCollector.java (diff)