SuccessChanges

Summary

  1. 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)
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/IgnoreVDMUnitTrans.java
The file was modifiedcore/vdm2c/ExternalTests.launch (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CTransSeries.java (diff)