SuccessChanges

Summary

  1. Test for setting field.  Not implemented yet, emits SET_FIELD, needs (commit: 85d512c) (details)
  2. Moving copied native library files down into own folder. (commit: 5c7ea3a) (details)
Commit 85d512cb66c09e47bf9bb65267fb9ea8d774d726 by Victor Bandur
Test for setting field.  Not implemented yet, emits SET_FIELD, needs
GET_FIELD.
modified: 
core/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java
modified: 
core/vdm2c/src/test/resources/native/classes/ClassFieldAccess_Tests.cpp
(commit: 85d512c)
The file was modifiedcore/vdm2c/src/test/resources/native/classes/ClassFieldAccess_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java (diff)
Commit 5c7ea3aa5bfa38884c02ee8acaa03bb51d69d721 by Victor Bandur
Moving copied native library files down into own folder.
modified: 
ide/cgen/src/main/java/org/overture/ide/plugins/cgen/commands/Vdm2CCommand.java
(commit: 5c7ea3a)
The file was modifiedide/cgen/src/main/java/org/overture/ide/plugins/cgen/commands/Vdm2CCommand.java (diff)