Changes

Summary

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)
	core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CreateGlobalConstInitFunctionTrans.java (diff)
	core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CreateGlobalStaticInitFunctionTrans.java (diff)
	core/vdm2c/src/test/resources/vdmrt/vdm2c-vdm-tests.launch (diff)