projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cc052e0) | patch
Minor improvement and fix to smt2 printer (#6009)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 26 Feb 2021 18:47:05 +0000 (12:47 -0600)
committerGitHub <noreply@github.com>
Fri, 26 Feb 2021 18:47:05 +0000 (12:47 -0600)
commit3453595e9f5d76a62b113b3a5d13a60dc09ce3ee
treee78403fbf68c4887a95cf66b7edafc84116a31catree
parentcc052e096323a193b52a05c2400c0c4639ada5decommit | diff
Minor improvement and fix to smt2 printer (#6009)

This permits access to the static method string smtKindString(Kind k, Variant v) which is required for LFSC proof conversion. It also makes a fix to how a string kind is printed.
src/printer/smt2/smt2_printer.cpp diff | blob | history
src/printer/smt2/smt2_printer.h diff | blob | history