SuccessChanges

Summary

  1. Github issue 11 with initialization of record fields. (commit: f81e5c3) (details)
Commit f81e5c39f9816f92fe62b34c02f0c16cac91cdec by Victor Bandur
Github issue 11 with initialization of record fields.
modified:   core/vdm2c/NativeTests.launch
modified: 
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RecordsToClassesTrans.java
(commit: f81e5c3)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RecordsToClassesTrans.java (diff)
The file was modifiedcore/vdm2c/NativeTests.launch (diff)