Open stevenmeker opened 1 year ago
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
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