Changes

Summary

Some test model elements for static field access bug. (commit: c62186f) (details)

Commit c62186ffa52039f8d96051411c6601383eaa7e79 by Victor Bandur Some test model elements for static field access bug. modified: ExternalTests.launch modified: NativeTests.launch modified: src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java modified: src/test/resources/vdmrt/classes/ClassScratchWork.vdmrt (commit: c62186f)
	core/vdm2c/NativeTests.launch (diff)
	core/vdm2c/src/test/resources/vdmrt/classes/ClassScratchWork.vdmrt (diff)
	core/vdm2c/ExternalTests.launch (diff)
	core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java (diff)