Double quotes omitted in echo command response
stevenmeker opened this issue · 0 comments
stevenmeker commented
https://smtlib.cs.uiowa.edu/papers/smt-lib-reference-v2.6-r2021-05-12.pdf
Page 67: (echo s) where s is a string literal, simply prints back s as is—including
the surrounding double-quotes.
./yices_smt2 --version
Yices 2.6.4
Copyright SRI International.
Linked with GMP 6.2.0
Copyright Free Software Foundation, Inc.
Build date: 2022-11-03
Platform: x86_64-pc-linux-gnu (release)
Revision: unknown
(echo " this is a string literal ")
this is a string literal