SuccessChanges

Summary

  1. updated vdmtool wrapper naming (commit: 9b351cf) (details)
The file was modifiedxcompile.sh (diff)