projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c0937f7) | patch
Avoid calling the printers while converting sexpr to string. (#5842)
authorAbdalrhman Mohamed <32971963+abdoo8080@users.noreply.github.com>
Mon, 1 Feb 2021 18:40:58 +0000 (12:40 -0600)
committerGitHub <noreply@github.com>
Mon, 1 Feb 2021 18:40:58 +0000 (12:40 -0600)
commita85fec1cc9fc4f42dcfefd8c27171d8ce5647449
tree4b6820199f4f2763b821de6eda1bfc839448122btree
parentc0937f742479d8a5054e42597da9447d55e876c0commit | diff
Avoid calling the printers while converting sexpr to string. (#5842)

This PR modifies sexprToString to use Term::getString to get string constants instead of Term::toString, which depends on the output language. The previous behavior caused CVC4 to crash when AST is picked as the output language.
src/smt/command.cpp diff | blob | history
src/smt/command.h diff | blob | history
src/util/string.cpp diff | blob | history