summaryrefslogtreecommitdiff
path: root/test/regress/regress0/push-pop/test.00.cvc
AgeCommit message (Expand)Author
2021-09-22Remove CVC language support (#7219)Mathias Preiner
2013-11-11Change exit status to be more consistent with other command-line tools: 0 suc...Morgan Deters
2010-11-16SmtEngine now fails with a ModalException if --incremental is not enabledMorgan Deters
2010-11-15minor tweaks to last commit, testing infrastructureMorgan Deters
2010-11-09Lemmas on demand work, push-pop, some cleanup.Dejan Jovanović
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback