/**
* @return true if the Validator behaved as expected when validating
* TestFile, false otherwise.
*/
bool
runL2v4Test (const TestFile& file)
{
L2v4CompatibilityValidator validator;
TestValidator tester(validator);
validator.init();
return tester.test(file);
}
/*
* Performs a set of semantic consistency checks on the document to establish
* whether it is compatible with L2v4 and can be converted. Query
* the results by calling getNumErrors() and getError().
*
* @return the number of failed checks (errors) encountered.
*/
unsigned int
SBMLInternalValidator::checkL2v4Compatibility ()
{
if (getModel() == NULL) return 0;
L2v4CompatibilityValidator validator;
validator.init();
unsigned int nerrors = validator.validate(*getDocument());
if (nerrors > 0) getErrorLog()->add( validator.getFailures() );
return nerrors;
}