projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4d9c96a) | patch
Simplify smt2 printer (#6954)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 30 Jul 2021 17:13:07 +0000 (12:13 -0500)
committerGitHub <noreply@github.com>
Fri, 30 Jul 2021 17:13:07 +0000 (10:13 -0700)
commit2d725d9205256bde78d33fe2bf8bf867333a8b1e
tree6c66a89237440633e343a73f450b6db2110ebae9tree
parent4d9c96a34c2e4ce67ab7851dbd87e4e8e49b0f62commit | diff
Simplify smt2 printer (#6954)

The common case of printing function applications is to print the kind in smt2 format, this makes this the default case and removes spurious cases. It also makes a few minor fixes.
src/printer/smt2/smt2_printer.cpp diff | blob | history