search

sbmlteam / sbml-test-suite

The SBML Test Suite is a conformance testing system. It allows developers and users to test the degree and correctness of the SBML support provided in a software package.
https://sbml.org/software/sbml-test-suite/
Other
23 stars 12 forks source link

Bracket mismatch in semantic test case 0112 #47

Closed FFroehlich closed 7 years ago

FFroehlich commented 7 years ago

Hello,

I am currently running my software against the semantic testcases. The software uses the matlab bindings from libSBML (version 5.13) to parse SBML models.

For the semantic test case 0112 (l3v1) libSBML encounters the following error:

Error using CheckAndConvert>CorrectFormula (line 237)
Bracket mismatch
Error in CheckAndConvert>SortLogicals (line 396)
    Replace = CorrectFormula(Find{i}, 'and(');

Error in CheckAndConvert (line 77)
Formula = SortLogicals(Formula);

The problem occurs when SortLogicals(Formula) with Formula = piecewise(1, and(), 0) which probably originates from the initial assignment of "c". This formula ends up as to and(),0)) in CorrectFormula() and correctly fails.

To me this looks like malformed sbml (and() without arguments) but the error could also be with libSBML.

FFroehlich commented 7 years ago

Okay according to http://sbml.org/Facilities/Database/Home/TestDetails/01112 , the purpose of this test is to check the functionality of 0-child and() functions, so the problem is probably with libSBML.