SuccessChanges

Summary

  1. Update VDM2C CLI to accept VDM++ files (commit: 52c71f8) (details)
  2. Update test file filter (commit: 443fddf) (details)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGenMain.java (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/MultiFileModelTestBase.java (diff)