Changes

Summary

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)
	core/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeTests.java (diff)
	core/vdm2c/NativeTests.launch (diff)
	core/vdm2c/src/test/resources/vdmrt/other/VDMUnitTest.vdmrt
	core/vdm2c/src/test/resources/native/other/IgnoreVDMUnit_Tests.cpp