Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

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

Open
Assignees
Labels
@tyuldashev

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:

  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$traverseImpl1ドル.invokeSuspend(UtBotSymbolicEngine.kt:302) [main/:?]
	at org.utbot.engine.UtBotSymbolicEngine$traverseImpl1ドル.invoke(UtBotSymbolicEngine.kt) [main/:?]
	at org.utbot.engine.UtBotSymbolicEngine$traverseImpl1ドル.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$unsafeFlow1ドル.collect(SafeCollector.common.kt:120) [kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.flow.FlowKt__EmittersKt$onCompletion$$inlined$unsafeFlow1ドル.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$flattenConcat1ドル1ドル.emit(Merge.kt:80) [kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.flow.FlowKt__MergeKt$flattenConcat1ドル1ドル.emit(Merge.kt:80) [kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.flow.FlowKt__BuildersKt$flowOf$$inlined$unsafeFlow1ドル.collect(SafeCollector.common.kt:114) [kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.flow.FlowKt__MergeKt$flattenConcat$$inlined$unsafeFlow1ドル.collect(SafeCollector.common.kt:113) [kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at org.utbot.contest.ContestKt$runGeneration1ドル5ドル$engineJob1ドル$job1ドル.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.access201ドル(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

Labels

Type

No type

Projects

Status

Todo

Milestone

No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions

      AltStyle によって変換されたページ (->オリジナル) /