SuccessChanges

Summary

  1. Working on getting the right class constructor instead of mk_ for (commit: 7249d08) (details)
Commit 7249d0839911d682fede411fe8b8833079a3a1f8 by Victor Bandur
Working on getting the right class constructor instead of mk_ for
records.
modified:   core/vdm2c/NativeTests.launch
modified: 
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RecordDefsToClassDefsTrans.java
modified: 
core/vdm2c/src/test/resources/vdmrt/expressions/ExpressionRecord.vdmrt
(commit: 7249d08)
The file was modifiedcore/vdm2c/NativeTests.launch (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RecordDefsToClassDefsTrans.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionRecord.vdmrt (diff)