mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-07 18:05:21 +00:00
Code Activity

parse according to http://smtlib.cs.uiowa.edu/theories-UnicodeStrings.shtml

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2021-02-15 09:32:31 -08:00
parent 1da7522893
commit 6bd02e122b
1 changed files with 14 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
src/util/zstring.cpp
View file

@ -51,6 +51,20 @@ bool zstring::is_escape_char(char const *& s, unsigned& result) {
break;
}
}
return false;
}
unsigned d1, d2, d3, d4;
if (*s == '\\' && s[1] == 'u' &&
is_hex_digit(s[2], d1) &&
is_hex_digit(s[3], d2) &&
is_hex_digit(s[4], d3) &&
is_hex_digit(s[5], d4)) {
result = d1;
result = 16*result + d2;
result = 16*result + d3;
result = 16*result + d4;
s += 6;
return true;
}
return false;
}