The string contains in Grulia service findSharedCore causes mismatching,
eg. expression v0 < 2 matches with (v0 < 23).
Line 501 with bug: if (!exprStr.contains(clause.toString())) {
A quick suggestion for correctness would be to encapsulate the expression with brackets, i.e.
if (!exprStr.contains("(" + clause.toString() + ")")) , therefore (v0 < 2) would not match with (v0 < 23), although this is not optimal.
The string contains in Grulia service
findSharedCorecauses mismatching,eg. expression v0 < 2 matches with (v0 < 23).
Line 501 with bug:
if (!exprStr.contains(clause.toString())) {A quick suggestion for correctness would be to encapsulate the expression with brackets, i.e.
if (!exprStr.contains("(" + clause.toString() + ")")), therefore (v0 < 2) would not match with (v0 < 23), although this is not optimal.