projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9cb5726) | patch
[Printer] Only quote `set-info` value if necessary (#7262)
authorAndres Noetzli <andres.noetzli@gmail.com>
Thu, 30 Sep 2021 02:37:22 +0000 (19:37 -0700)
committerGitHub <noreply@github.com>
Thu, 30 Sep 2021 02:37:22 +0000 (02:37 +0000)
commit181cac8b630609dc982887c5c4cea1e46b319811
tree029c5fd599649c2512bcaeda7ec141501dbc8a09tree
parent9cb5726a3a26c329ef5310b0b461b03dd0864799commit | diff
[Printer] Only quote `set-info` value if necessary (#7262)

PR #7240 changed the printing of set-info to always include quote the
value. This commit changes the policy to only quote a symbol if
necessary using existing an existing helper method. Otherwise,
(set-info :status sat) is for example printed as (set-info :status |sat|), which is a bit unusual and may break certain scripts.
src/printer/smt2/smt2_printer.cpp diff | blob | history