From 6bd02e122b3ba08fc11a13d865bc8c54d9bd0af8 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 15 Feb 2021 09:32:31 -0800
Subject: [PATCH] parse according to
 http://smtlib.cs.uiowa.edu/theories-UnicodeStrings.shtml

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/util/zstring.cpp | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/src/util/zstring.cpp b/src/util/zstring.cpp
index c837ab6cb..ad53bf127 100644
--- a/src/util/zstring.cpp
+++ b/src/util/zstring.cpp
@@ -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;
 }