Adding new unit-test inspired by issue 1633

runtimeverification · Aug 6, 2024 · b65a8d8 · b65a8d8
1 parent 9ac72e9
commit b65a8d8
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/pyk/src/tests/integration/kllvm/test_convert.py b/pyk/src/tests/integration/kllvm/test_convert.py
@@ -23,6 +23,7 @@ def _in_module(kore_text: str) -> str:
     (r'string-\x24', r'"a\x24b"'),
     (r'string-\u03b1', r'"a\u03b1b"'),
     (r'string-\U0001F642', r'"a\U0001F642b"'),
+    (r'foo0\\\\uffff\\\\Uffffffff', r'"foo0\\\\uffff\\\\Uffffffff"'),
     ('evar', 'X : SortInt{}'),
     ('evar-sortvar', 'X : S'),
     ('svar', '@X : SortInt{}'),