mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-27 08:28:44 +00:00
Code Activity

parsing of SMT 2.5 style string literals

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2015-12-03 09:46:18 -08:00
parent b6b5065571
commit a4d9642cf2
1 changed files with 9 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

8
src/parsers/smt2/smt2scanner.cpp
View file

@ -171,11 +171,17 @@ namespace smt2 {
throw scanner_exception("unexpected end of string", m_line, m_spos); throw scanner_exception("unexpected end of string", m_line, m_spos);
if (c == '\"') { if (c == '\"') {
next(); next();
if (curr() == '\"') {
m_string.push_back(c);
}
else {
m_string.push_back(0); m_string.push_back(0);
return STRING_TOKEN; return STRING_TOKEN;
} }
if (c == '\n') }
else if (c == '\n') {
new_line(); new_line();
}
else if (c == '\\') { else if (c == '\\') {
next(); next();
c = curr(); c = curr();