projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 60173f6) | patch
Quote symbol when printing empty symbol name (#3025)
authorAndres Noetzli <andres.noetzli@gmail.com>
Thu, 30 May 2019 18:05:42 +0000 (11:05 -0700)
committerGitHub <noreply@github.com>
Thu, 30 May 2019 18:05:42 +0000 (11:05 -0700)
commitbe2a85f84fec4e926704f4788c55ec2ba805de39
tree355f1fdbb6ab858409a324d035fb4faaab4c6b54tree
parent60173f62a82b4d71f2fbac51880d44d883ae5109commit | diff
Quote symbol when printing empty symbol name (#3025)

When printing an empty symbol name, which can appear in an SMT2 file as
`||`, we were printing the empty string instead of quoting the symbol.
This commit fixes the issue and adds a regression test.
src/printer/smt2/smt2_printer.cpp diff | blob | history
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress0/printer/empty_symbol_name.smt2 [new file with mode: 0644] blob