SuccessChanges

Summary

  1. Fix issue with field look-ups (commit: b6d08cf) (details)
  2. Rename test (commit: c95a7ac) (details)
  3. Test that the field reference issue is fixed (commit: c77fcf6) (details)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/classes/ClassFieldAccess_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/classes/ClassFieldAccess_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassFieldAccess.vdmrt (diff)