Skip to content

VDMCheck 1.1.4-SNAPSHOT

Pre-release
Pre-release
Compare
Choose a tag to compare
@nickbattle nickbattle released this 16 Oct 07:54
· 2 commits to development since this release
Release/1.1.4-1
3deeba4

This is the snapshot release of the latest work on VDMCheck 1.1.4.

VDMCheck2.sh error messages have been changed to give a section and page number reference in the FMI2 Standard, rather than a hyperlink to a URL. This is because the FMI2 Standard is not officially available as an online document.

Assets 4
Loading