projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2bbbb13) | patch
api: Print the correct string for external kinds. (#8320)
authorMathias Preiner <mathias.preiner@gmail.com>
Wed, 16 Mar 2022 03:48:34 +0000 (20:48 -0700)
committerGitHub <noreply@github.com>
Wed, 16 Mar 2022 03:48:34 +0000 (03:48 +0000)
commit708aee85110e74620641532bf1708e0b8cfa29cc
tree918d616c89605e5fcce9f6e7fd49006276e7a83dtree
parent2bbbb130d81a3d696e2e171edd552161ddb88fc8commit | diff
api: Print the correct string for external kinds. (#8320)

We currently print the string representation of the internal kind.
src/api/cpp/cvc5.cpp diff | blob | history