Skip to content

Offline validator status

Jump to bottom
Nicolas Rodriguez edited this page Dec 18, 2017 · 17 revisions

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

Using the syntactic test cases produced by Lucian: syntactic-cases-2017-11-20 Number of constraints correctly validated: 222 out of 267, number of files correctly validated: 4872 out of 5383

Details of unimplemented or failing constraints:

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

  • 102xx General rules for MathML content in SBML. Few failing files left and not adapted to L3V2, should be found when reading with warning.

  • 103xx General rules for identifiers. Not all implemented/adapted to L3V2.

  • 104xx General rules for annotation elements. Not implemented.

  • 10501, 10514, 10523, 10541 General rules for units. Few failing files.

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

  • 108xx General rules for notes elements. Not implemented.

  • 20507 One failing file reported to libsbml as potentially wrong: https://sourceforge.net/p/sbml/libsbml/454/

  • 20912 Circular dependencies with rateOf. Not implemented.

  • 21006 Form of the constraint message content. Not implemented.

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

Clone this wiki locally