VDMCheck 1.1.0
·
430 commits
to master
since this release
This is the 1.1.0 release of VDMCheck.
It works with FMI2 schema 2.0 and FMI3 schema 3.0-beta.2.
This release automatically converts the FMI XSD schema into a VDM-SL schema and translates XML configuration files into VDM-SL. It is therefore packaged with a specific XSD version and validates XML files against that schema before attempting to check the content. Look out for SNAPSHOT updates as the FMI schema is updated to later beta releases.