[SOSlib-devel] Possible problem behavior w.r.t. assignment rules

[Michael H. <mh...@ca...>]

Hi,

Harish Dharuri encountered an interesting result with a
model (attached).  The model actually contains an error:
there is both an assignment rule and a reaction referencing
species "S".  This is technically invalid in SBML L2v1 and
L2v2 unless the species is labeled as a boundary species.

The interesting thing is that SOSlib actually simulates
this, and produces an expected result.  We didn't realize
the SBML was in error until Harish spotted it a moment ago.

LibSBML doesn't appear to have a validation rule to catch
this, which surprises me, because this aspect of SBML has
been around for a long time.  This is probably why SOSlib
doesn't report it as an error.  We'll file this as a bug to
fix in libsbml.

MH