Commit
c62186ffa52039f8d96051411c6601383eaa7e79
by Victor BandurSome 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)