SuccessChanges

Summary

  1. Make "if-tests" executable (commit: 9668e4a) (details)
  2. Add generic "if-test" (commit: e657291) (details)
  3. Add tests that reveal issue with if statements (commit: 4cdd34b) (details)
  4. Unpack all typed expressions (commit: b266367) (details)
Commit 9668e4a5f38979d6d025302fe937ce4ae3411aaf by Peter W. V. Tran-Jørgensen
Make "if-tests" executable
Related to #49
(commit: 9668e4a)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassIfNotEq.vdmrt (diff)
The file was addedcore/vdm2c/src/test/resources/vdmrt/classes/ClassIf.vdmrt
The file was removedcore/vdm2c/src/test/resources/vdmrt/classes/ClassIfNotEq.vdmrt
The file was addedcore/vdm2c/src/test/resources/native/classes/ClassIf_Tests.cpp
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java (diff)
Commit 4cdd34bee87ebcfc6b407a2057a10409e0e88906 by Peter W. V. Tran-Jørgensen
Add tests that reveal issue with if statements
Related to #49
(commit: 4cdd34b)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassIf.vdmrt (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/classes/ClassIf_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/IfTrans.java (diff)