ada/cvc5
0
0
Fork 0
mirror of https://github.com/AdaCore/cvc5.git synced 2026-02-12 12:32:16 -08:00
Code Issues Packages Projects Releases Wiki Activity
12,073 Commits 59 Branches 0 Tags
25.1
Commit Graph

5 Commits

Author SHA1 Message Date
Andrew Reynolds
0964573eaa Do not print newlines in Command::toString (#10225) 2023-12-15 22:46:41 +00:00
mudathirmahgoub
fd8fd70a96 Change Command.invoke to return String in Java api (#10223) 2023-12-13 16:42:40 +00:00
mudathirmahgoub
115d3d200b Add parser to the java api (#10088) 2023-11-28 11:53:30 -06:00
Andrew Reynolds
3621c2c5e5 Fixes for uncovered parser API methods (#10082) 
Fixes nightly builds.
 2023-10-04 00:24:08 +00:00
Andrew Reynolds
74443f10ab Adding API checks, unit tests, and examples for the parser API (#10048) 
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.
 2023-10-02 15:51:32 +00:00