diff --git a/kex-runner/src/main/kotlin/org/vorpal/research/kex/jacoco/minimization/GreedyTestReductionImpl.kt b/kex-runner/src/main/kotlin/org/vorpal/research/kex/jacoco/minimization/GreedyTestReductionImpl.kt index 2a6d3920b..3790335ad 100644 --- a/kex-runner/src/main/kotlin/org/vorpal/research/kex/jacoco/minimization/GreedyTestReductionImpl.kt +++ b/kex-runner/src/main/kotlin/org/vorpal/research/kex/jacoco/minimization/GreedyTestReductionImpl.kt @@ -1,5 +1,6 @@ package org.vorpal.research.kex.jacoco.minimization +import org.vorpal.research.kex.config.kexConfig import java.nio.file.Path private class Test( @@ -39,7 +40,8 @@ class GreedyTestReductionImpl : TestSuiteMinimizer { var satisfiedReq = 0 val importantTests = mutableSetOf() - while (satisfiedReq < requestSet.size) { + val maxTests = kexConfig.getIntValue("testGen", "maxTests", Integer.MAX_VALUE) + while (satisfiedReq < requestSet.size && importantTests.size < maxTests) { val (maxTestPath, maxTest) = tests.maxByOrNull { it.value.power } ?: break if (maxTest.power == 0) break diff --git a/kex.ini b/kex.ini index 4c350f564..7a2290a29 100644 --- a/kex.ini +++ b/kex.ini @@ -28,6 +28,7 @@ generateAssertions = true logJUnit = true testTimeout = 10 surroundInTryCatch = false +maxTests = 5 ignoreStatic = class java.lang.System ignoreStatic = class kex.java.util.Arrays