Skip to content

Offline validator status

Jump to bottom
Nicolas Rodriguez edited this page Aug 22, 2018 · 17 revisions

We can consider the offline validator in beta stage at the moment.

When using the syntactic test cases (syntactic-cases-2017-11-20) the number of constraints validated correctly was 260 out of 267 and the number of files validated correctly was 5199 out of 5383.

Details of unimplemented or failing constraints:

  • 101xx General rules concerning basic XML requirements. Not implemented.

  • 10309 Metaid with strange characters not considered valid (e.g.: "ດA" or "ດA") (Number of files correctly validated: 106 out of 120).

  • 10501 The units of the expressions used as arguments to a function call should match the units expected for the arguments of that function. Few failing files (Number of files correctly validated: 146 out of 157).

  • 10601, 20912 A system of equations created from an SBML model must not be overdetermined. Not adapted to L3V2 with the new rateOf symbol. Circular dependencies with rateOf not implemented.

For L3 packages, qual and layout are mostly implemented. FBC and multi just started.

Clone this wiki locally