SuccessChanges

Summary

  1. Fail Maven build when runtime test don't pass (commit: 2075297) (details)
  2. Add limited support for function instantiations (commit: 4c5863e) (details)
  3. Test that function instantiations code-generate correctly (commit: 0fce318) (details)
Commit 20752974164f72d553186d3b65b4ddae0acf9d3a by Peter W. V. Tran-Jørgensen
Fail Maven build when runtime test don't pass
(commit: 2075297)
The file was modifiedc/vdmclib/pom.xml (diff)
Commit 4c5863e515169afa7a6bb7e805171137c83583ec by Peter W. V. Tran-Jørgensen
Add limited support for function instantiations
Addresses #65
(commit: 4c5863e)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CallRewriteTrans.java (diff)
Commit 0fce31821ad5e0229e1b036e02e3968909e819fd by Peter W. V. Tran-Jørgensen
Test that function instantiations code-generate correctly
Closes #65
(commit: 0fce318)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassFun.vdmrt (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/classes/ClassStaticFun_Tests.cpp (diff)