SuccessChanges

Summary

  1. Remove redundant test (commit: 25602a1) (details)
  2. Remove test code that is not used anymore (commit: 40ae418) (details)
  3. Ensure that test models are type correct (commit: 86cb93e) (details)
The file was removedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/CExamplesTest.java
Commit 40ae418797d6ece1ceb9c228b77d5ac629b75c6e by Peter W. V. Tran-Jørgensen
Remove test code that is not used anymore
(commit: 40ae418)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeTestBase.java (diff)
The file was removedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/BaseGeneratorTest.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGenMain.java (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeTestBase.java (diff)