VDMCheck 1.1.1
nickbattle
released this
15 Sep 10:58
·
422 commits
to master
since this release
This is the 1.1.1 release of VDMCheck.
It works with FMI2 schema 2.0 and FMI3 schema 3.0-beta.2.
This release enables better integration of the tool with Maestro.