Skip to content

No targets for Invocation(instance=ObjectValue(typeStorage=java.util.concurrent.TimeUnit) #1730

Open
@tyuldashev

Description

@tyuldashev

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:

  1. Open utbot project
  2. Open org.utbot.contest.ContestEstimatorKt file
  3. Set filters on project and class:
        methodFilter = ""
        projectFilter = listOf("guava-26.0")
  1. Increase timeout if tests are not generated (val timeLimit = 120)
  2. 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

Labels

Type

No type

Projects

Status

Todo

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions