SuccessChanges

Summary

  1. Remove garbage file (commit: 3befd44) (details)
  2. Improve extensibility of test classes (commit: 53f872b) (details)
  3. Add valgrind configuration to CMakeLists.txt (commit: 8402f19) (details)
  4. Add functionality to test memory management (commit: 0b2a3ef) (details)
  5. Remove field that is not needed (commit: 05423e8) (details)
The file was removedcore/vdm2c/src/test/resources/vdmrt/vdm2c-vdm-tests.launch
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/CMakeUtil.java (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeTestBase.java (diff)
Commit 8402f194ee00a990f38aa4bcbf8290d15156de1e by Peter W. V. Tran-Jørgensen
Add valgrind configuration to CMakeLists.txt
(commit: 8402f19)
The file was modifiedcore/vdm2c/src/test/resources/CMakeLists.txt (diff)
Commit 0b2a3ef57aaa9045a6d90bd4e36aa085255251b9 by Peter W. V. Tran-Jørgensen
Add functionality to test memory management
(commit: 0b2a3ef)
The file was addedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/MemoryManagementTestBase.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)