Commit 4353906e authored by LULUDBR\Lulu's avatar LULUDBR\Lulu

Merge remote-tracking branch 'origin/master'

parents b6e49133 2f7ffb3e
......@@ -116,8 +116,13 @@ public class KeYMatcher implements MatcherApi<KeyData> {
String branchLabel = currentState.getData().getBranchingLabel();
String cleanBranchLabel = branchLabel.replaceAll(" ", "");
Pattern regexpForLabel = Pattern.compile(cleanLabel);
Matcher branchLabelMatcher = regexpForLabel.matcher(cleanBranchLabel);
//cleanLabel(branchLabel);
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> {
cleaned = cleaned.replaceAll("\\[", "\\\\[");
cleaned = cleaned.replaceAll("\\]", "\\\\]");
return cleaned;
}
......
// Please select one of the following scripts.
//
script testSMT(){
smt solver='Z3';
}
script toRemove(){
impRight;
useContract type='dependency' on=`p`;
......
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