Commit
9a64f8c4814d084982f99bb2c53e022b137990c3
by Victor BandurA 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)