Skip to content

Commit bc988d4

Browse files
terminating if soot method is not exist
1 parent b2ff4ae commit bc988d4

File tree

1 file changed

+2
-5
lines changed

1 file changed

+2
-5
lines changed

utbot-framework/src/main/kotlin/org/utbot/framework/plugin/api/TestCaseGenerator.kt

Lines changed: 2 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -35,10 +35,7 @@ import org.utbot.framework.plugin.api.util.intArrayClassId
3535
import org.utbot.framework.plugin.api.util.utContext
3636
import org.utbot.framework.plugin.api.util.withUtContext
3737
import org.utbot.framework.plugin.services.JdkInfo
38-
import org.utbot.framework.util.SootUtils
39-
import org.utbot.framework.util.jimpleBody
40-
import org.utbot.framework.util.toModel
41-
import org.utbot.framework.util.sootMethodExists
38+
import org.utbot.framework.util.*
4239
import org.utbot.greyboxfuzzer.util.CoverageCollector
4340
import org.utbot.greyboxfuzzer.util.GreyBoxFuzzingStatisticPrinter
4441
import org.utbot.instrumentation.ConcreteExecutor
@@ -162,7 +159,7 @@ open class TestCaseGenerator(
162159
for ((method, controller) in method2controller) {
163160
controller.job = launch(currentUtContext) {
164161
if (!isActive) return@launch
165-
162+
if (!method.sootMethodExists) return@launch
166163
try {
167164
//yield one to
168165
yield()

0 commit comments

Comments
 (0)