limit number of testcases displayed if minimizing

edwin1729 · Aug 5, 2024 · d763c46 · d763c46
1 parent f2498a6
commit d763c46
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/...er/src/main/kotlin/org/vorpal/research/kex/jacoco/minimization/GreedyTestReductionImpl.kt b/...er/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<Path>()
-        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
@@ -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