SuccessChanges

Summary

  1. Unit test for mechanism to ignore VDMUnit tests. (commit: 1c5964d) (details)
Commit 1c5964d83031b38aec320d9f3459ff3c4d243dd2 by Victor Bandur
Unit test for mechanism to ignore VDMUnit tests.
modified:   core/vdm2c/NativeTests.launch
modified: 
core/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeTests.java
new file: 
core/vdm2c/src/test/resources/native/other/IgnoreVDMUnit_Tests.cpp
new file:   core/vdm2c/src/test/resources/vdmrt/other/VDMUnitTest.vdmrt
(commit: 1c5964d)
The file was addedcore/vdm2c/src/test/resources/native/other/IgnoreVDMUnit_Tests.cpp
The file was modifiedcore/vdm2c/NativeTests.launch (diff)
The file was addedcore/vdm2c/src/test/resources/vdmrt/other/VDMUnitTest.vdmrt
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeTests.java (diff)