projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cd34574) | patch
Fixes related to printing tuples, define-fun commands in smt2 (#6679)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 9 Jun 2021 17:50:31 +0000 (12:50 -0500)
committerGitHub <noreply@github.com>
Wed, 9 Jun 2021 17:50:31 +0000 (17:50 +0000)
commit9dc6deed6147b7a53a65d727cc7afd7b1b6c2c19
tree2aa8ff76f1900764d4d8a680b564ad193c729f69tree
parentcd34574f476827c11e1f0d9a33141a04b5175696commit | diff
Fixes related to printing tuples, define-fun commands in smt2 (#6679)

This PR fixes some initial issues with printing datatypes in smt2.

It does not yet address further issues on printing define-fun as a result of dump=raw-benchmark, which requires deeper refactoring of the implementation of the API / SmtEngine.
src/printer/smt2/smt2_printer.cpp diff | blob | history
src/smt/command.cpp diff | blob | history