Changes

Summary

A transformation-based approach to ignoring VDMUnit tests. This is (commit: 9a64f8c) (details)

Commit 9a64f8c4814d084982f99bb2c53e022b137990c3 by Victor Bandur A transformation-based approach to ignoring VDMUnit tests. This is better done at the VDM level. modified: core/vdm2c/ExternalTests.launch modified: core/vdm2c/src/main/java/org/overture/codegen/vdm2c/CTransSeries.java new file: core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/IgnoreVDMUnitTrans.java (commit: 9a64f8c)
	core/vdm2c/ExternalTests.launch (diff)
	core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/IgnoreVDMUnitTrans.java
	core/vdm2c/src/main/java/org/overture/codegen/vdm2c/CTransSeries.java (diff)