add a!=b to the overlap predicate

This commit is contained in:
Erik Krogh Kristensen
2022-07-12 15:16:02 +02:00
parent 592464d98b
commit 712805f3bf

View File

@@ -42,7 +42,8 @@ predicate isAlphanumeric(string char) {
predicate overlap(RegExpCharacterRange a, RegExpCharacterRange b) {
exists(RegExpCharacterClass clz |
a = clz.getAChild() and
b = clz.getAChild()
b = clz.getAChild() and
a != b
|
exists(int alow, int ahigh, int blow, int bhigh |
isRange(a, alow, ahigh) and