SuccessChanges

Summary

  1. Implementation at the VDM tree level of mechanism to ignore VDMUnit (commit: 3d917c7) (details)
Commit 3d917c7655bb9dede319406e5d93a6ea494b1c97 by Victor Bandur
Implementation 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)
The file was removedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/IgnoreVDMUnitTrans.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CTransSeries.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)