SuccessChanges

Summary

  1. Update the VDM2C CLI (commit: 5da83e7) (details)
Commit 5da83e712ecdfe1787a40bcddcc947bcc01792fa by Peter W. V. Tran-Jørgensen
Update the VDM2C CLI
- Add quiet flag
- Use <arg> to pass individual VDM-RT files
Closes #17
(commit: 5da83e7)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGenMain.java (diff)