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
30
30
31
31
private val logger = KotlinLogging .logger {}
32
32
private const val RANDOM_TYPE_FREQUENCY = 6
33
+ private const val MAX_EXECUTIONS = 50000
33
34
34
35
class PythonTestCaseGenerator (
35
36
private val withMinimization : Boolean = true ,
@@ -167,7 +168,9 @@ class PythonTestCaseGenerator(
167
168
168
169
var feedback: InferredTypeFeedback = SuccessFeedback
169
170
170
- val fuzzerCancellation = { isCancelled() || limitManager.isCancelled() }
171
+ val fuzzerCancellation = {
172
+ isCancelled() || limitManager.isCancelled() || (errors.size + executions.size) >= MAX_EXECUTIONS
173
+ }
171
174
172
175
engine.fuzzing(args, fuzzerCancellation, until).collect {
173
176
when (it) {
You can’t perform that action at this time.
0 commit comments