projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a95980e) | patch
Fix echo printing. (#6573)
authorAina Niemetz <aina.niemetz@gmail.com>
Thu, 20 May 2021 02:54:52 +0000 (19:54 -0700)
committerGitHub <noreply@github.com>
Thu, 20 May 2021 02:54:52 +0000 (02:54 +0000)
commitf91f8f24d6ed98698373f5d51b17cf583adcd768
treed39cd16afcbbf73e61701a09e049e9d706af49bdtree
parenta95980ecd80b971086c328c3e1bb731852890a07commit | diff
Fix echo printing. (#6573)

Previously, echo surpressed leading, trailing and escape quotes of the
string to print. However, the SMT-LIB standard states that the string is
to be printed as is, including those quote characters.
src/smt/command.cpp diff | blob | history
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress0/echo.smt2 [new file with mode: 0644] blob