mirror of
https://github.com/AdaCore/cvc5.git
synced 2026-02-12 12:32:16 -08:00
This PR adds the proper checks for the parser API. It furthermore adds examples and unit tests for the parser API. Note that InputParser::nextCommand and InputParser::nextTerm don't catch exceptions, since we want to throw ParserExceptions containing the parsing information, not API exceptions. Also, at the moment, the InputParser can throw an exception during initialization, which is not caught either.
2.2 KiB
2.2 KiB