SuccessChanges

Summary

  1. Tests for field access on objects pass. (commit: 22e1d17) (details)
Commit 22e1d17a2b1d61b48eb7a92b240c53517258092e by Victor Bandur
Tests for field access on objects pass.
modified: 
src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java
modified:   src/test/java/org/overture/codegen/vdm2c/ExternalTests.java
(commit: 22e1d17)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/ExternalTests.java (diff)