SuccessChanges

Summary

  1. Emitting constant and static member init and shutdown functions for all (commit: 494154d) (details)
Commit 494154d64e13c55dfac9816423a272694bea4e70 by Victor Bandur
Emitting constant and static member init and shutdown functions for all
classes to simplify FMU export.
modified: 
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CreateGlobalConstInitFunctionTrans.java
modified: 
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CreateGlobalStaticInitFunctionTrans.java
modified:   core/vdm2c/src/test/resources/vdmrt/vdm2c-vdm-tests.launch
(commit: 494154d)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/vdm2c-vdm-tests.launch (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CreateGlobalStaticInitFunctionTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CreateGlobalConstInitFunctionTrans.java (diff)