SuccessChanges

Summary

  1. 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)
The file was modifiedcore/vdm2c/NativeTests.launch (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassScratchWork.vdmrt (diff)
The file was modifiedcore/vdm2c/ExternalTests.launch (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java (diff)