From b65a8d810a2cd6a995a4d94f776db4458486f560 Mon Sep 17 00:00:00 2001 From: Roberto Rosmaninho Date: Tue, 6 Aug 2024 17:17:20 -0300 Subject: [PATCH] Adding new unit-test inspired by issue 1633 --- pyk/src/tests/integration/kllvm/test_convert.py | 1 + 1 file changed, 1 insertion(+) diff --git a/pyk/src/tests/integration/kllvm/test_convert.py b/pyk/src/tests/integration/kllvm/test_convert.py index ae4e5f04513..8762dd2da70 100644 --- 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{}'),