Open
Description
Description
Sometimes No targets for Invocation(instance=ObjectValue(typeStorage=java.util.concurrent.TimeUnit)
exception during test generation for guava
project.
To Reproduce
Steps to reproduce the behavior:
- Open utbot project
- Open
org.utbot.contest.ContestEstimatorKt
file - Set filters on project and class:
methodFilter = ""
projectFilter = listOf("guava-26.0")
- Increase timeout if tests are not generated (
val timeLimit = 120
) - Run
ContestEstimator
Expected behavior
Tests are generated without errors
Actual behavior
There are errors in console output
15:24:58.670 | INFO | Started: method com.google.common.collect.Queues.drain
15:24:58.670 | INFO | -- Remaining time budget: 101811 ms, #remaining_methods: 21, budget for method: 4848 ms, solver timeout: 1000 ms, budget for symbolic execution: 3648 ms, budget for concrete execution: 1200 ms, --
15:25:00.088 | ERROR | Symbolic execution FAILED
java.lang.IllegalArgumentException: No targets for Invocation(instance=ObjectValue(typeStorage=java.util.concurrent.TimeUnit, addr=addr: (BVInt32 p4)), method=<java.util.concurrent.TimeUnit: long toNanos(long)>, parameters=[(long (BVLong64 p3))], generator=() -> kotlin.collections.List<org.utbot.engine.InvocationTarget>)
at org.utbot.engine.Traverser.commonInvokePart(Traverser.kt:2851) ~[main/:?]
at org.utbot.engine.Traverser.virtualAndInterfaceInvoke(Traverser.kt:2615) ~[main/:?]
at org.utbot.engine.Traverser.invokeResult(Traverser.kt:2478) ~[main/:?]
at org.utbot.engine.Traverser.traverseAssignStmt(Traverser.kt:800) ~[main/:?]
at org.utbot.engine.Traverser.traverseStmt(Traverser.kt:333) ~[main/:?]
at org.utbot.engine.Traverser.traverse(Traverser.kt:313) ~[main/:?]
at org.utbot.engine.UtBotSymbolicEngine$traverseImpl$1.invokeSuspend(UtBotSymbolicEngine.kt:302) [main/:?]
at org.utbot.engine.UtBotSymbolicEngine$traverseImpl$1.invoke(UtBotSymbolicEngine.kt) [main/:?]
at org.utbot.engine.UtBotSymbolicEngine$traverseImpl$1.invoke(UtBotSymbolicEngine.kt) [main/:?]
at kotlinx.coroutines.flow.SafeFlow.collectSafely(Builders.kt:61) [kotlinx-coroutines-core-jvm-1.6.3.jar:?]
at kotlinx.coroutines.flow.AbstractFlow.collect(Flow.kt:230) [kotlinx-coroutines-core-jvm-1.6.3.jar:?]
at kotlinx.coroutines.flow.FlowKt__EmittersKt$onStart$$inlined$unsafeFlow$1.collect(SafeCollector.common.kt:120) [kotlinx-coroutines-core-jvm-1.6.3.jar:?]
at kotlinx.coroutines.flow.FlowKt__EmittersKt$onCompletion$$inlined$unsafeFlow$1.collect(SafeCollector.common.kt:114) [kotlinx-coroutines-core-jvm-1.6.3.jar:?]
at kotlinx.coroutines.flow.FlowKt__CollectKt.emitAll(Collect.kt:109) [kotlinx-coroutines-core-jvm-1.6.3.jar:?]
at kotlinx.coroutines.flow.FlowKt.emitAll(Unknown Source) [kotlinx-coroutines-core-jvm-1.6.3.jar:?]
at kotlinx.coroutines.flow.FlowKt__MergeKt$flattenConcat$1$1.emit(Merge.kt:80) [kotlinx-coroutines-core-jvm-1.6.3.jar:?]
at kotlinx.coroutines.flow.FlowKt__MergeKt$flattenConcat$1$1.emit(Merge.kt:80) [kotlinx-coroutines-core-jvm-1.6.3.jar:?]
at kotlinx.coroutines.flow.FlowKt__BuildersKt$flowOf$$inlined$unsafeFlow$1.collect(SafeCollector.common.kt:114) [kotlinx-coroutines-core-jvm-1.6.3.jar:?]
at kotlinx.coroutines.flow.FlowKt__MergeKt$flattenConcat$$inlined$unsafeFlow$1.collect(SafeCollector.common.kt:113) [kotlinx-coroutines-core-jvm-1.6.3.jar:?]
at org.utbot.contest.ContestKt$runGeneration$1$5$engineJob$1$job$1.invokeSuspend(Contest.kt:332) [main/:?]
at kotlin.coroutines.jvm.internal.BaseContinuationImpl.resumeWith(ContinuationImpl.kt:33) [kotlin-stdlib-1.7.20.jar:1.7.20-release-201(1.7.20)]
at kotlinx.coroutines.DispatchedTask.run(DispatchedTask.kt:106) [kotlinx-coroutines-core-jvm-1.6.3.jar:?]
at java.util.concurrent.Executors$RunnableAdapter.call(Executors.java:511) [?:1.8.0_362]
at java.util.concurrent.FutureTask.run(FutureTask.java:266) [?:1.8.0_362]
at java.util.concurrent.ScheduledThreadPoolExecutor$ScheduledFutureTask.access$201(ScheduledThreadPoolExecutor.java:180) [?:1.8.0_362]
at java.util.concurrent.ScheduledThreadPoolExecutor$ScheduledFutureTask.run(ScheduledThreadPoolExecutor.java:293) [?:1.8.0_362]
at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) [?:1.8.0_362]
at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) [?:1.8.0_362]
at java.lang.Thread.run(Thread.java:750) [?:1.8.0_362]
15:25:00.132 | INFO | Finished (in 1,463 sec): method com.google.common.collect.Queues.drain
<StatsForMethod> :
#generatedTC=0
FAILED 1 time(s) with 1 different exception(s)"
Metadata
Metadata
Assignees
Type
Projects
Status
Todo