Changes

Summary

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)

core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RecordsToClassesTrans.java (diff)

core/vdm2c/NativeTests.launch (diff)