Made assertion repairs only run when regex contains assertions.

Author: lmasroca

core/src/main/kotlin/org/evomaster/core/parser/GeneRegexJavaVisitor.kt

@@ -60,6 +60,8 @@ class GeneRegexJavaVisitor(val sourceRegex: String, val externalRegexFlags: Rege
      */
     private var currentFlags = externalRegexFlags
 
+    private var hasAssertions = false
+
     /**
      * Builds DisjunctionListRxGenes from a disjunction context, returns null if disjunction is unsatisfiable.
      */
@@ -127,7 +129,8 @@ class GeneRegexJavaVisitor(val sourceRegex: String, val externalRegexFlags: Rege
             disjList,
             sourceRegex,
             RegexType.JVM,
-            externalRegexFlags = externalRegexFlags
+            externalRegexFlags = externalRegexFlags,
+            hasAssertions = hasAssertions
         )
 
         return VisitResult(gene)
@@ -257,6 +260,7 @@ class GeneRegexJavaVisitor(val sourceRegex: String, val externalRegexFlags: Rege
                 rejectIfNestedAssertion(ctx.assertion())
                 val innerDisjList = buildDisjunctionList(assertionCtx.disjunction())
                 val assertionGene = AssertionRxGene(innerDisjList)
+                hasAssertions = true
                 res.genes.add(assertionGene)
             }
             return res

core/src/main/kotlin/org/evomaster/core/search/gene/regex/RegexGene.kt

@@ -37,7 +37,8 @@ class RegexGene(
      */
     var fixedValue: String? = null,
     var usingFixedValue: Boolean = false,
-    val externalRegexFlags: RegexFlags = RegexFlags()
+    val externalRegexFlags: RegexFlags = RegexFlags(),
+    val hasAssertions: Boolean = false
 ) : CompositeFixedGene(name, disjunctions) {
 
 
@@ -75,9 +76,11 @@ class RegexGene(
             if (pattern!!.matcher(disjunctions.getValueAsPrintableString()).find()) {
                 return
             }
-            disjunctions.attemptAssertionRepair(randomness)
-            if (pattern.matcher(disjunctions.getValueAsPrintableString()).find()) {
-                return
+            if (hasAssertions) {
+                disjunctions.attemptAssertionRepair(randomness)
+                if (pattern.matcher(disjunctions.getValueAsPrintableString()).find()) {
+                    return
+                }
             }
         }
 

core/src/main/kotlin/org/evomaster/core/utils/MultiCharacterRange.kt

@@ -208,17 +208,18 @@ class MultiCharacterRange internal constructor(val ranges: List<CharacterRange>)
      * Check if [c] is contained in this [MultiCharacterRange].
      */
     fun contains(c: Char): Boolean {
-        if (isEmpty) return false
+        if (isEmpty) {
+            return false
+        }
         // binary search as MultiCharacterRange's ranges are ordered and non-overlapping
-        return ranges.binarySearch { (start, end) ->
-            if(c in start..end) {
-                0
-            } else if (c < start) {
-                -1
-            } else {
-                1
+        val index = ranges.binarySearch { (start, end) ->
+            when {
+                c < start -> 1  // Target is before this range, search left
+                c > end   -> -1 // Target is after this range, search right
+                else      -> 0  // Target is inside this range, match
             }
-        } >= 0
+        }
+        return index >= 0
     }
 
     val isEmpty: Boolean get() = ranges.isEmpty()