Fix handling of Unicode characters in String theory#431

Open

daniel-raffler wants to merge 6 commits intomasterfrom 412-inconsistent-handling-of-unicode-characters-in-string-theory

+47-13

Commits on Jan 16, 2025

Strings: Added more tests for Unicode escaping
daniel-raffler
committed
Strings: Patch a bug in testConstStringReplaceAll
daniel-raffler
committed
Strings: Fix pattern for \u{...} escape sequences. The final '}' in the pattern should also be escaped.
daniel-raffler
committed
Strings: Escape backslashes when creating String literals.
daniel-raffler
committed
Strings: Add a separate case for the escape sequence "\u{5c}" in unescapeUnicodeForSmtlib() as backslashes (= codepoint 5c) are considered special characters by Matcher.appendReplacement()
daniel-raffler
committed
Strings: Always unescape the String first when creating a new String constant.
daniel-raffler
committed