SuccessChanges

Summary

  1. Fix issue with method invocations that receive multiple arguments (commit: 24d5774) (details)
  2. Test that method invocation issue is fixed (commit: ef9e9df) (details)
Commit 24d57741c661d51c087bc65af345bcd600a165a2 by Peter W. V. Tran-Jørgensen
Fix issue with method invocations that receive multiple arguments
Addresses #67
(commit: 24d5774)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CallRewriteTrans.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/classes/ClassStaticFun_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassFun.vdmrt (diff)