File tree Expand file tree Collapse file tree 1 file changed +4
-1
lines changed
utbot-python/src/main/kotlin/org/utbot/python Expand file tree Collapse file tree 1 file changed +4
-1
lines changed Original file line number Diff line number Diff line change @@ -30,6 +30,7 @@ import java.io.File
3030
3131private val logger = KotlinLogging .logger {}
3232private const val RANDOM_TYPE_FREQUENCY = 6
33+ private const val MAX_EXECUTIONS = 50000
3334
3435class PythonTestCaseGenerator (
3536 private val withMinimization : Boolean = true ,
@@ -167,7 +168,9 @@ class PythonTestCaseGenerator(
167168
168169 var feedback: InferredTypeFeedback = SuccessFeedback
169170
170- val fuzzerCancellation = { isCancelled() || limitManager.isCancelled() }
171+ val fuzzerCancellation = {
172+ isCancelled() || limitManager.isCancelled() || (errors.size + executions.size) >= MAX_EXECUTIONS
173+ }
171174
172175 engine.fuzzing(args, fuzzerCancellation, until).collect {
173176 when (it) {
You can’t perform that action at this time.
0 commit comments