Skip to content

Commit 053aa3b

Browse files
committed
added more use of forceNewTaints()
1 parent bc6d855 commit 053aa3b

1 file changed

Lines changed: 3 additions & 2 deletions

File tree

core/src/main/kotlin/org/evomaster/core/problem/rest/resource/RestResourceNode.kt

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -408,6 +408,7 @@ open class RestResourceNode(
408408
} else {
409409
copy.doInitialize(randomness)
410410
}
411+
copy.forceNewTaints()
411412

412413
val template = templates[copy.verb.toString()]
413414
?: throw IllegalArgumentException("${copy.verb} is not one of templates of ${this.path}")
@@ -565,7 +566,7 @@ open class RestResourceNode(
565566
private fun templateSelected(callsTemplate: CallsTemplate){
566567
templates.getValue(callsTemplate.template).times += 1
567568
}
568-
569+
569570
private fun selectTemplate(predicate: (CallsTemplate) -> Boolean, randomness: Randomness, chosen : Map<String, CallsTemplate>?=null, chooseLessVisit : Boolean = false) : CallsTemplate?{
570571
val ts = if(chosen == null) templates.filter { predicate(it.value) } else chosen.filter { predicate(it.value) }
571572
if(ts.isEmpty())
@@ -965,4 +966,4 @@ data class ParamInfo(
965966
* @return whether the param is possibly needed to refer to other params
966967
*/
967968
fun possiblyReferToOthers() = probOfReferringToOther > 0.0
968-
}
969+
}

0 commit comments

Comments
 (0)