Commit
3d917c7655bb9dede319406e5d93a6ea494b1c97
by Victor BandurImplementation at the VDM tree level of mechanism to ignore VDMUnit
tests.
modified:
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java
modified:
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/CTransSeries.java
deleted:
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/IgnoreVDMUnitTrans.java
(commit: 3d917c7)