Skip to content

VDMCheck 1.1.3-SNAPSHOT (Schema 2.0.4 and 3.0.1)

Pre-release
Pre-release
Compare
Choose a tag to compare
@nickbattle nickbattle released this 07 Oct 13:31
· 163 commits to development since this release
1.1.3-snapshot
5f720c0

This release contains support for FMI 2.0.4 and 3.0.1-rc2.

The FMI3-vdmcheck-1.1.3-distribution.zip (after build 230223) contains a new version of the tool that attempts to give URL links in the error messages that point back to the FMI3 Standard where the cause of the error is discussed. It still provides a shell script called VDMCheck3.sh, which has nearly the same options as the previous VDMCheck3.sh:

> VDMCheck3.sh 
Usage: VDMCheck3.sh [-h <FMI Standard base URL>] [-v <VDM outfile>] <file>.fmu | <file>.xml

> VDMCheck3.sh transpose.fmu
validCSIntermediateUpdate: canReturnEarlyAfterIntermediateUpdate requires providesIntermediateUpdate at modelDescription.xml:22
See: https://fmi-standard.org/docs/3.0/#table-CoSimulation-details

Errors found.

Note that there are URL(s) after the error messages. The -h option will replace the https://fmi-standard.org/docs/3.0/ prefix for error URLs.

The main repository README.md (development branch) has been updated with the new commands.

Build 230616 has been updated to 3.0.1-rc2.

Assets 6
Loading