mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-27 02:45:51 +00:00
Code Activity

escape characters in theory_str

Browse source
This commit is contained in:
Murphy Berzish 2016-11-22 18:21:40 -05:00
parent 5e37a21802
commit 11d8ffc4d4
3 changed files with 72 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/parsers/smt2/smt2parser.cpp
View file

@ -1104,7 +1104,7 @@ namespace smt2 {
strncpy(buf, original_token, bufsize);
buf[bufsize] = '\0';
TRACE("parse_string", tout << "new string constant: " << buf << " length=" << bufsize << "\n";);
expr_stack().push_back(strutil().mk_string(buf));
expr_stack().push_back(strutil().mk_string_with_escape_characters(buf));
next();
}