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

3 Commits

Author SHA1 Message Date
Daniel Larraz
6a33a2f89d Fix python api coverage failure (#10233) 2023-12-15 16:14:26 -06:00
Andrew Reynolds
68fc815e03 Add setStringInput to the parser APIs (#10230) 
This PR:

Updates the functionality of setIncrementalStringInput / appendIncrementalStringInput to a more intuitive behavior where append does not replace the current contents of the input.
Adds setStringInput to the API and updates the interactive shell to use this interface.
Updates the examples
Adds new unit tests
 2023-12-15 19:50:57 +00:00
Daniel Larraz
3e07a656e7 Add parser to the python api (#10222) 2023-12-14 09:08:05 -06:00