mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-23 14:23:40 +00:00
Code Activity

fix smt-lib 2.5 double quotes in pp

Browse source
This commit is contained in:
Murphy Berzish 2016-11-23 19:03:53 -05:00
parent 8e962aa427
commit 889b6be2c3
1 changed files with 4 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/ast/ast_smt2_pp.cpp
View file

@ -317,7 +317,10 @@ format * smt2_pp_environment::pp_str_literal(app * t) {
// we want to scan strVal and escape every non-printable character // we want to scan strVal and escape every non-printable character
for (unsigned int i = 0; i < strVal.length(); ++i) { for (unsigned int i = 0; i < strVal.length(); ++i) {
char c = strVal.at(i); char c = strVal.at(i);
if (isprint(c)) { if (c == '"') {
// SMT-LIB 2.5 string escape
buf << "\"\"";
} else if (isprint(c)) {
buf << c; buf << c;
} else if (c == '\a') { } else if (c == '\a') {
buf << "\\a"; buf << "\\a";