Commit e96e5a81 authored by Sarah Grebing's avatar Sarah Grebing

jar update

parent 6273e7d4
Pipeline #18762 failed with stages
in 2 minutes and 31 seconds
...@@ -116,8 +116,13 @@ public class KeYMatcher implements MatcherApi<KeyData> { ...@@ -116,8 +116,13 @@ public class KeYMatcher implements MatcherApi<KeyData> {
String branchLabel = currentState.getData().getBranchingLabel(); String branchLabel = currentState.getData().getBranchingLabel();
String cleanBranchLabel = branchLabel.replaceAll(" ", ""); String cleanBranchLabel = branchLabel.replaceAll(" ", "");
Pattern regexpForLabel = Pattern.compile(cleanLabel); //cleanLabel(branchLabel);
Matcher branchLabelMatcher = regexpForLabel.matcher(cleanBranchLabel);
Pattern regexpForLabel = Pattern.compile("\\\\Q"+cleanLabel+"\\\\E");
Matcher branchLabelMatcher = regexpForLabel.matcher(Pattern.quote(cleanBranchLabel));
//Matcher branchLabelMatcher = regexpForLabel.matcher(cleanBranchLabel);
...@@ -221,6 +226,7 @@ public class KeYMatcher implements MatcherApi<KeyData> { ...@@ -221,6 +226,7 @@ public class KeYMatcher implements MatcherApi<KeyData> {
cleaned = cleaned.replaceAll("\\[", "\\\\["); cleaned = cleaned.replaceAll("\\[", "\\\\[");
cleaned = cleaned.replaceAll("\\]", "\\\\]"); cleaned = cleaned.replaceAll("\\]", "\\\\]");
return cleaned; return cleaned;
} }
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment