projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9c76773) | patch
Add printing methods for some commands. (#7557)
authorAbdalrhman Mohamed <32971963+abdoo8080@users.noreply.github.com>
Tue, 2 Nov 2021 20:14:19 +0000 (15:14 -0500)
committerGitHub <noreply@github.com>
Tue, 2 Nov 2021 20:14:19 +0000 (20:14 +0000)
commit51382b96a76c6ddef0c1a6aae2139203f20bced1
tree92eb44ec8507319c16dee191e003c5ce6e9ed929tree
parent9c767739c7ca2159de8800fff05dce3b7037cfc6commit | diff
Add printing methods for some commands. (#7557)

This PR is a step towards enabling -o raw-benchmark. It adds printing methods for some of the new commands and fixes some other miscellaneous issues.
src/printer/printer.cpp diff | blob | history
src/printer/printer.h diff | blob | history
src/printer/smt2/smt2_printer.cpp diff | blob | history
src/printer/smt2/smt2_printer.h diff | blob | history
src/smt/command.cpp diff | blob | history