Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Parameter specified as non-null is null: method org.utbot.engine.SymbolicValueKt.toIntValue #2636

Open
tyuldashev opened this issue Oct 2, 2023 · 3 comments
Open

Parameter specified as non-null is null: method org.utbot.engine.SymbolicValueKt.toIntValue #2636

tyuldashev opened this issue Oct 2, 2023 · 3 comments
Assignees
@Damtev
Labels
comp-symbolic-engine Issue is related to the symbolic execution engine ctg-bug Issue is a bug spec-flaky Reproducing scenario is not clear

Comments

@tyuldashev
Copy link
Collaborator

Description
Sometimes during generation with symbolic engine error happens, which cause "Couldn't not generate some tests" issue.

To Reproduce
Unfortunately there are no exact steps to reproduce, I've faced with it twice on different examples from UTBot project:

  • examples.enums.ClassWithEnum
  • examples.stream.BaseStreamExample

Rerunning on the sampled gave no errors next time.

Screenshots, logs
Two stack traces found in the log.

13:05:35.304 | ERROR | Traverser                 | Test generation failed on stmt r1 := @this: examples.enums.ClassWithEnum, symbolic stack trace:
<examples.enums.ClassWithEnum: int virtualFunction(examples.enums.ClassWithEnum$StatusEnum)>
java.lang.NullPointerException: Parameter specified as non-null is null: method org.utbot.engine.SymbolicValueKt.toIntValue, parameter <this>
	at org.utbot.engine.SymbolicValueKt.toIntValue(SymbolicValue.kt) ~[utbot-framework-2023.10.5277.jar:?]
	at org.utbot.engine.Traverser.createConst(Traverser.kt:2426) ~[utbot-framework-2023.10.5277.jar:?]
	at org.utbot.engine.Traverser.createConst(Traverser.kt:2406) ~[utbot-framework-2023.10.5277.jar:?]
	at org.utbot.engine.Traverser.traverseIdentityStmt(Traverser.kt:1077) ~[utbot-framework-2023.10.5277.jar:?]
	at org.utbot.engine.Traverser.traverseStmt(Traverser.kt:345) ~[utbot-framework-2023.10.5277.jar:?]
	at org.utbot.engine.Traverser.traverse(Traverser.kt:324) ~[utbot-framework-2023.10.5277.jar:?]
	at org.utbot.engine.UtBotSymbolicEngine$traverseImpl$1.invokeSuspend(UtBotSymbolicEngine.kt:381) ~[utbot-framework-2023.10.5277.jar:?]
	at kotlin.coroutines.jvm.internal.BaseContinuationImpl.resumeWith(ContinuationImpl.kt:33) ~[kotlin-stdlib-1.8.10.jar:1.8.10-release-430(1.8.10)]
	at kotlinx.coroutines.DispatchedTask.run(DispatchedTask.kt:106) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.EventLoopImplBase.processNextEvent(EventLoop.common.kt:284) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BlockingCoroutine.joinBlocking(Builders.kt:85) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt__BuildersKt.runBlocking(Builders.kt:59) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt.runBlocking(Unknown Source) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt__BuildersKt.runBlocking$default(Builders.kt:38) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt.runBlocking$default(Unknown Source) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at org.utbot.rd.UtRdUtilKt.startBlocking(UtRdUtil.kt:31) ~[utbot-rd-2023.10.5277.jar:?]
	at org.utbot.rd.RdSettingsContainer$settingFor$1$1.getValue(RdSettingsContainer.kt:33) ~[utbot-rd-2023.10.5277.jar:?]
	at org.utbot.framework.UtSettings.getMaxArraySize(UtSettings.kt:590) ~[utbot-framework-api-2023.10.5277.jar:?]
	at org.utbot.engine.ResolverKt.<clinit>(Resolver.kt:119) ~[utbot-framework-2023.10.5277.jar:?]
	at org.utbot.engine.Traverser.createConst(Traverser.kt:2426) ~[utbot-framework-2023.10.5277.jar:?]
	at org.utbot.engine.Traverser.createConst(Traverser.kt:2406) ~[utbot-framework-2023.10.5277.jar:?]
	at org.utbot.engine.Traverser.traverseIdentityStmt(Traverser.kt:1077) ~[utbot-framework-2023.10.5277.jar:?]
	at org.utbot.engine.Traverser.traverseStmt(Traverser.kt:345) ~[utbot-framework-2023.10.5277.jar:?]
	at org.utbot.engine.Traverser.traverse(Traverser.kt:324) ~[utbot-framework-2023.10.5277.jar:?]
	at org.utbot.engine.UtBotSymbolicEngine$traverseImpl$1.invokeSuspend(UtBotSymbolicEngine.kt:381) ~[utbot-framework-2023.10.5277.jar:?]
	at org.utbot.engine.UtBotSymbolicEngine$traverseImpl$1.invoke(UtBotSymbolicEngine.kt) ~[utbot-framework-2023.10.5277.jar:?]
	at org.utbot.engine.UtBotSymbolicEngine$traverseImpl$1.invoke(UtBotSymbolicEngine.kt) ~[utbot-framework-2023.10.5277.jar:?]
	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__ErrorsKt.catchImpl(Errors.kt:156) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.flow.FlowKt.catchImpl(Unknown Source) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.flow.FlowKt__ErrorsKt$catch$$inlined$unsafeFlow$1.collect(SafeCollector.common.kt:113) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at org.utbot.framework.plugin.api.TestCaseGenerator$generate$2$3$1$1.invokeSuspend(TestCaseGenerator.kt:230) ~[utbot-framework-2023.10.5277.jar:?]
	at kotlin.coroutines.jvm.internal.BaseContinuationImpl.resumeWith(ContinuationImpl.kt:33) ~[kotlin-stdlib-1.8.10.jar:1.8.10-release-430(1.8.10)]
	at kotlinx.coroutines.DispatchedTask.run(DispatchedTask.kt:106) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.EventLoopImplBase.processNextEvent(EventLoop.common.kt:284) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BlockingCoroutine.joinBlocking(Builders.kt:85) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt__BuildersKt.runBlocking(Builders.kt:59) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt.runBlocking(Unknown Source) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt__BuildersKt.runBlocking$default(Builders.kt:38) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt.runBlocking$default(Unknown Source) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at org.utbot.common.ConcurrencyKt.runBlockingWithCancellationPredicate(Concurrency.kt:38) ~[utbot-core-2023.10.5277.jar:?]
	at org.utbot.framework.plugin.api.TestCaseGenerator$generate$2$3.invoke(TestCaseGenerator.kt:204) ~[utbot-framework-2023.10.5277.jar:?]
	at org.utbot.framework.plugin.api.TestCaseGenerator$generate$2$3.invoke(TestCaseGenerator.kt:203) ~[utbot-framework-2023.10.5277.jar:?]
	at org.utbot.common.ConcurrencyKt.runIgnoringCancellationException(Concurrency.kt:47) ~[utbot-core-2023.10.5277.jar:?]
	at org.utbot.framework.plugin.api.TestCaseGenerator.generate(TestCaseGenerator.kt:203) ~[utbot-framework-2023.10.5277.jar:?]
	at org.utbot.framework.process.EngineProcessMainKt$setup$4.invoke(EngineProcessMain.kt:127) ~[utbot-framework-2023.10.5277.jar:?]
	at org.utbot.framework.process.EngineProcessMainKt$setup$4.invoke(EngineProcessMain.kt:112) ~[utbot-framework-2023.10.5277.jar:?]
	at org.utbot.rd.IdleWatchdog$measureTimeForActiveCall$1$2$1.invoke(ClientProcessUtil.kt:115) ~[utbot-rd-2023.10.5277.jar:?]
	at org.utbot.rd.IdleWatchdog.wrapActive(ClientProcessUtil.kt:88) ~[utbot-rd-2023.10.5277.jar:?]
	at org.utbot.rd.IdleWatchdog$measureTimeForActiveCall$1.invoke(ClientProcessUtil.kt:114) ~[utbot-rd-2023.10.5277.jar:?]
	at com.jetbrains.rd.framework.IRdEndpoint$set$1.invoke(TaskInterfaces.kt:182) ~[rd-framework-2023.1.2.jar:?]
	at com.jetbrains.rd.framework.IRdEndpoint$set$1.invoke(TaskInterfaces.kt:182) ~[rd-framework-2023.1.2.jar:?]
	at com.jetbrains.rd.framework.impl.RdCall.onWireReceived(RdTask.kt:362) ~[rd-framework-2023.1.2.jar:?]
	at com.jetbrains.rd.framework.MessageBroker$invoke$2$2.invoke(MessageBroker.kt:57) ~[rd-framework-2023.1.2.jar:?]
	at com.jetbrains.rd.framework.MessageBroker$invoke$2$2.invoke(MessageBroker.kt:56) ~[rd-framework-2023.1.2.jar:?]
	at com.jetbrains.rd.framework.impl.ProtocolContexts.readMessageContextAndInvoke(ProtocolContexts.kt:148) ~[rd-framework-2023.1.2.jar:?]
	at com.jetbrains.rd.framework.MessageBroker$invoke$2.invoke(MessageBroker.kt:56) ~[rd-framework-2023.1.2.jar:?]
	at com.jetbrains.rd.framework.MessageBroker$invoke$2.invoke(MessageBroker.kt:54) ~[rd-framework-2023.1.2.jar:?]
	at com.jetbrains.rd.util.threading.SingleThreadSchedulerBase.queue$lambda-3(SingleThreadScheduler.kt:41) ~[rd-core-2023.1.2.jar:?]
	at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1128) [?:?]
	at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:628) [?:?]
	at java.lang.Thread.run(Thread.java:829) [?:?]
16:19:58.344 | ERROR | Traverser                 | Test generation failed on stmt r1 := @this: examples.stream.BaseStreamExample, symbolic stack trace:
<examples.stream.BaseStreamExample: int peekExample(java.util.List)>
java.lang.NullPointerException: Parameter specified as non-null is null: method org.utbot.engine.SymbolicValueKt.toIntValue, parameter <this>
	at org.utbot.engine.SymbolicValueKt.toIntValue(SymbolicValue.kt) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.engine.Traverser.createConst(Traverser.kt:2426) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.engine.Traverser.createConst(Traverser.kt:2406) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.engine.Traverser.traverseIdentityStmt(Traverser.kt:1077) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.engine.Traverser.traverseStmt(Traverser.kt:345) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.engine.Traverser.traverse(Traverser.kt:324) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.engine.UtBotSymbolicEngine$traverseImpl$1.invokeSuspend(UtBotSymbolicEngine.kt:381) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at kotlin.coroutines.jvm.internal.BaseContinuationImpl.resumeWith(ContinuationImpl.kt:33) ~[kotlin-stdlib-1.8.10.jar:1.8.10-release-430(1.8.10)]
	at kotlinx.coroutines.DispatchedTask.run(DispatchedTask.kt:106) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.EventLoopImplBase.processNextEvent(EventLoop.common.kt:284) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BlockingCoroutine.joinBlocking(Builders.kt:85) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt__BuildersKt.runBlocking(Builders.kt:59) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt.runBlocking(Unknown Source) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt__BuildersKt.runBlocking$default(Builders.kt:38) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt.runBlocking$default(Unknown Source) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at org.utbot.rd.UtRdUtilKt.startBlocking(UtRdUtil.kt:31) ~[utbot-rd-utbot-intellij-2023.10.jar:?]
	at org.utbot.rd.RdSettingsContainer$settingFor$1$1.getValue(RdSettingsContainer.kt:33) ~[utbot-rd-utbot-intellij-2023.10.jar:?]
	at org.utbot.framework.UtSettings.getMaxArraySize(UtSettings.kt:590) ~[utbot-framework-api-utbot-intellij-2023.10.jar:?]
	at org.utbot.engine.ResolverKt.<clinit>(Resolver.kt:119) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.engine.Traverser.createConst(Traverser.kt:2426) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.engine.Traverser.createConst(Traverser.kt:2406) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.engine.Traverser.traverseIdentityStmt(Traverser.kt:1077) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.engine.Traverser.traverseStmt(Traverser.kt:345) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.engine.Traverser.traverse(Traverser.kt:324) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.engine.UtBotSymbolicEngine$traverseImpl$1.invokeSuspend(UtBotSymbolicEngine.kt:381) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.engine.UtBotSymbolicEngine$traverseImpl$1.invoke(UtBotSymbolicEngine.kt) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.engine.UtBotSymbolicEngine$traverseImpl$1.invoke(UtBotSymbolicEngine.kt) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	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__ErrorsKt.catchImpl(Errors.kt:156) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.flow.FlowKt.catchImpl(Unknown Source) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.flow.FlowKt__ErrorsKt$catch$$inlined$unsafeFlow$1.collect(SafeCollector.common.kt:113) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at org.utbot.framework.plugin.api.TestCaseGenerator$generate$2$3$1$1.invokeSuspend(TestCaseGenerator.kt:230) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at kotlin.coroutines.jvm.internal.BaseContinuationImpl.resumeWith(ContinuationImpl.kt:33) ~[kotlin-stdlib-1.8.10.jar:1.8.10-release-430(1.8.10)]
	at kotlinx.coroutines.DispatchedTask.run(DispatchedTask.kt:106) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.EventLoopImplBase.processNextEvent(EventLoop.common.kt:284) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BlockingCoroutine.joinBlocking(Builders.kt:85) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt__BuildersKt.runBlocking(Builders.kt:59) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt.runBlocking(Unknown Source) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt__BuildersKt.runBlocking$default(Builders.kt:38) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt.runBlocking$default(Unknown Source) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at org.utbot.rd.UtRdUtilKt.startBlocking(UtRdUtil.kt:31) ~[utbot-rd-utbot-intellij-2023.10.jar:?]
	at org.utbot.rd.RdSettingsContainer$settingFor$1$1.getValue(RdSettingsContainer.kt:33) ~[utbot-rd-utbot-intellij-2023.10.jar:?]
	at org.utbot.framework.UtSettings.getPathSelectorType(UtSettings.kt:67) ~[utbot-framework-api-utbot-intellij-2023.10.jar:?]
	at org.utbot.engine.UtBotSymbolicEngineKt.pathSelector(UtBotSymbolicEngine.kt:78) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.engine.UtBotSymbolicEngineKt.access$pathSelector(UtBotSymbolicEngine.kt:1) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.engine.UtBotSymbolicEngine.<init>(UtBotSymbolicEngine.kt:131) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.framework.plugin.api.TestCaseGenerator.createSymbolicEngine(TestCaseGenerator.kt:317) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.framework.plugin.api.TestCaseGenerator.access$createSymbolicEngine(TestCaseGenerator.kt:61) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.framework.plugin.api.TestCaseGenerator$generate$2$3$1$1.invokeSuspend(TestCaseGenerator.kt:213) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at kotlin.coroutines.jvm.internal.BaseContinuationImpl.resumeWith(ContinuationImpl.kt:33) ~[kotlin-stdlib-1.8.10.jar:1.8.10-release-430(1.8.10)]
	at kotlinx.coroutines.DispatchedTask.run(DispatchedTask.kt:106) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.EventLoopImplBase.processNextEvent(EventLoop.common.kt:284) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BlockingCoroutine.joinBlocking(Builders.kt:85) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt__BuildersKt.runBlocking(Builders.kt:59) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt.runBlocking(Unknown Source) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt__BuildersKt.runBlocking$default(Builders.kt:38) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt.runBlocking$default(Unknown Source) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at org.utbot.rd.UtRdUtilKt.startBlocking(UtRdUtil.kt:31) ~[utbot-rd-utbot-intellij-2023.10.jar:?]
	at org.utbot.rd.RdSettingsContainer$settingFor$1$1.getValue(RdSettingsContainer.kt:33) ~[utbot-rd-utbot-intellij-2023.10.jar:?]
	at org.utbot.framework.UtSettings.getPathSelectorType(UtSettings.kt:67) ~[utbot-framework-api-utbot-intellij-2023.10.jar:?]
	at org.utbot.engine.UtBotSymbolicEngineKt.pathSelector(UtBotSymbolicEngine.kt:78) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.engine.UtBotSymbolicEngineKt.access$pathSelector(UtBotSymbolicEngine.kt:1) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.engine.UtBotSymbolicEngine.<init>(UtBotSymbolicEngine.kt:131) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.framework.plugin.api.TestCaseGenerator.createSymbolicEngine(TestCaseGenerator.kt:317) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.framework.plugin.api.TestCaseGenerator.access$createSymbolicEngine(TestCaseGenerator.kt:61) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.framework.plugin.api.TestCaseGenerator$generate$2$3$1$1.invokeSuspend(TestCaseGenerator.kt:213) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at kotlin.coroutines.jvm.internal.BaseContinuationImpl.resumeWith(ContinuationImpl.kt:33) ~[kotlin-stdlib-1.8.10.jar:1.8.10-release-430(1.8.10)]
	at kotlinx.coroutines.DispatchedTask.run(DispatchedTask.kt:106) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.EventLoopImplBase.processNextEvent(EventLoop.common.kt:284) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BlockingCoroutine.joinBlocking(Builders.kt:85) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt__BuildersKt.runBlocking(Builders.kt:59) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt.runBlocking(Unknown Source) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt__BuildersKt.runBlocking$default(Builders.kt:38) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt.runBlocking$default(Unknown Source) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at org.utbot.rd.UtRdUtilKt.startBlocking(UtRdUtil.kt:31) ~[utbot-rd-utbot-intellij-2023.10.jar:?]
	at org.utbot.rd.RdSettingsContainer$settingFor$1$1.getValue(RdSettingsContainer.kt:33) ~[utbot-rd-utbot-intellij-2023.10.jar:?]
	at org.utbot.framework.UtSettings.getPathSelectorType(UtSettings.kt:67) ~[utbot-framework-api-utbot-intellij-2023.10.jar:?]
	at org.utbot.engine.UtBotSymbolicEngineKt.pathSelector(UtBotSymbolicEngine.kt:78) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.engine.UtBotSymbolicEngineKt.access$pathSelector(UtBotSymbolicEngine.kt:1) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.engine.UtBotSymbolicEngine.<init>(UtBotSymbolicEngine.kt:131) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.framework.plugin.api.TestCaseGenerator.createSymbolicEngine(TestCaseGenerator.kt:317) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.framework.plugin.api.TestCaseGenerator.access$createSymbolicEngine(TestCaseGenerator.kt:61) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.framework.plugin.api.TestCaseGenerator$generate$2$3$1$1.invokeSuspend(TestCaseGenerator.kt:213) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at kotlin.coroutines.jvm.internal.BaseContinuationImpl.resumeWith(ContinuationImpl.kt:33) ~[kotlin-stdlib-1.8.10.jar:1.8.10-release-430(1.8.10)]
	at kotlinx.coroutines.DispatchedTask.run(DispatchedTask.kt:106) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.EventLoopImplBase.processNextEvent(EventLoop.common.kt:284) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BlockingCoroutine.joinBlocking(Builders.kt:85) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt__BuildersKt.runBlocking(Builders.kt:59) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt.runBlocking(Unknown Source) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt__BuildersKt.runBlocking$default(Builders.kt:38) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt.runBlocking$default(Unknown Source) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at org.utbot.rd.UtRdUtilKt.startBlocking(UtRdUtil.kt:31) ~[utbot-rd-utbot-intellij-2023.10.jar:?]
	at org.utbot.rd.RdSettingsContainer$settingFor$1$1.getValue(RdSettingsContainer.kt:33) ~[utbot-rd-utbot-intellij-2023.10.jar:?]
	at org.utbot.framework.UtSettings.getPathSelectorType(UtSettings.kt:67) ~[utbot-framework-api-utbot-intellij-2023.10.jar:?]
	at org.utbot.engine.UtBotSymbolicEngineKt.pathSelector(UtBotSymbolicEngine.kt:78) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.engine.UtBotSymbolicEngineKt.access$pathSelector(UtBotSymbolicEngine.kt:1) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.engine.UtBotSymbolicEngine.<init>(UtBotSymbolicEngine.kt:131) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.framework.plugin.api.TestCaseGenerator.createSymbolicEngine(TestCaseGenerator.kt:317) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.framework.plugin.api.TestCaseGenerator.access$createSymbolicEngine(TestCaseGenerator.kt:61) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.framework.plugin.api.TestCaseGenerator$generate$2$3$1$1.invokeSuspend(TestCaseGenerator.kt:213) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at kotlin.coroutines.jvm.internal.BaseContinuationImpl.resumeWith(ContinuationImpl.kt:33) ~[kotlin-stdlib-1.8.10.jar:1.8.10-release-430(1.8.10)]
	at kotlinx.coroutines.DispatchedTask.run(DispatchedTask.kt:106) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.EventLoopImplBase.processNextEvent(EventLoop.common.kt:284) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BlockingCoroutine.joinBlocking(Builders.kt:85) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt__BuildersKt.runBlocking(Builders.kt:59) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt.runBlocking(Unknown Source) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt__BuildersKt.runBlocking$default(Builders.kt:38) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt.runBlocking$default(Unknown Source) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at org.utbot.rd.UtRdUtilKt.startBlocking(UtRdUtil.kt:31) ~[utbot-rd-utbot-intellij-2023.10.jar:?]
	at org.utbot.rd.RdSettingsContainer$settingFor$1$1.getValue(RdSettingsContainer.kt:33) ~[utbot-rd-utbot-intellij-2023.10.jar:?]
	at org.utbot.framework.UtSettings.getPathSelectorType(UtSettings.kt:67) ~[utbot-framework-api-utbot-intellij-2023.10.jar:?]
	at org.utbot.engine.UtBotSymbolicEngineKt.pathSelector(UtBotSymbolicEngine.kt:78) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.engine.UtBotSymbolicEngineKt.access$pathSelector(UtBotSymbolicEngine.kt:1) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.engine.UtBotSymbolicEngine.<init>(UtBotSymbolicEngine.kt:131) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.framework.plugin.api.TestCaseGenerator.createSymbolicEngine(TestCaseGenerator.kt:317) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.framework.plugin.api.TestCaseGenerator.access$createSymbolicEngine(TestCaseGenerator.kt:61) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.framework.plugin.api.TestCaseGenerator$generate$2$3$1$1.invokeSuspend(TestCaseGenerator.kt:213) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at kotlin.coroutines.jvm.internal.BaseContinuationImpl.resumeWith(ContinuationImpl.kt:33) ~[kotlin-stdlib-1.8.10.jar:1.8.10-release-430(1.8.10)]
	at kotlinx.coroutines.DispatchedTask.run(DispatchedTask.kt:106) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.EventLoopImplBase.processNextEvent(EventLoop.common.kt:284) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BlockingCoroutine.joinBlocking(Builders.kt:85) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt__BuildersKt.runBlocking(Builders.kt:59) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt.runBlocking(Unknown Source) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt__BuildersKt.runBlocking$default(Builders.kt:38) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt.runBlocking$default(Unknown Source) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at org.utbot.rd.UtRdUtilKt.startBlocking(UtRdUtil.kt:31) ~[utbot-rd-utbot-intellij-2023.10.jar:?]
	at org.utbot.rd.RdSettingsContainer$settingFor$1$1.getValue(RdSettingsContainer.kt:33) ~[utbot-rd-utbot-intellij-2023.10.jar:?]
	at org.utbot.framework.UtSettings.getPathSelectorType(UtSettings.kt:67) ~[utbot-framework-api-utbot-intellij-2023.10.jar:?]
	at org.utbot.engine.UtBotSymbolicEngineKt.pathSelector(UtBotSymbolicEngine.kt:78) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.engine.UtBotSymbolicEngineKt.access$pathSelector(UtBotSymbolicEngine.kt:1) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.engine.UtBotSymbolicEngine.<init>(UtBotSymbolicEngine.kt:131) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.framework.plugin.api.TestCaseGenerator.createSymbolicEngine(TestCaseGenerator.kt:317) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.framework.plugin.api.TestCaseGenerator.access$createSymbolicEngine(TestCaseGenerator.kt:61) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.framework.plugin.api.TestCaseGenerator$generate$2$3$1$1.invokeSuspend(TestCaseGenerator.kt:213) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at kotlin.coroutines.jvm.internal.BaseContinuationImpl.resumeWith(ContinuationImpl.kt:33) ~[kotlin-stdlib-1.8.10.jar:1.8.10-release-430(1.8.10)]
	at kotlinx.coroutines.DispatchedTask.run(DispatchedTask.kt:106) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.EventLoopImplBase.processNextEvent(EventLoop.common.kt:284) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BlockingCoroutine.joinBlocking(Builders.kt:85) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt__BuildersKt.runBlocking(Builders.kt:59) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt.runBlocking(Unknown Source) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt__BuildersKt.runBlocking$default(Builders.kt:38) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt.runBlocking$default(Unknown Source) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at org.utbot.rd.UtRdUtilKt.startBlocking(UtRdUtil.kt:31) ~[utbot-rd-utbot-intellij-2023.10.jar:?]
	at org.utbot.rd.RdSettingsContainer$settingFor$1$1.getValue(RdSettingsContainer.kt:33) ~[utbot-rd-utbot-intellij-2023.10.jar:?]
	at org.utbot.framework.UtSettings.getPathSelectorType(UtSettings.kt:67) ~[utbot-framework-api-utbot-intellij-2023.10.jar:?]
	at org.utbot.engine.UtBotSymbolicEngineKt.pathSelector(UtBotSymbolicEngine.kt:78) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.engine.UtBotSymbolicEngineKt.access$pathSelector(UtBotSymbolicEngine.kt:1) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.engine.UtBotSymbolicEngine.<init>(UtBotSymbolicEngine.kt:131) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.framework.plugin.api.TestCaseGenerator.createSymbolicEngine(TestCaseGenerator.kt:317) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.framework.plugin.api.TestCaseGenerator.access$createSymbolicEngine(TestCaseGenerator.kt:61) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.framework.plugin.api.TestCaseGenerator$generate$2$3$1$1.invokeSuspend(TestCaseGenerator.kt:213) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at kotlin.coroutines.jvm.internal.BaseContinuationImpl.resumeWith(ContinuationImpl.kt:33) ~[kotlin-stdlib-1.8.10.jar:1.8.10-release-430(1.8.10)]
	at kotlinx.coroutines.DispatchedTask.run(DispatchedTask.kt:106) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.EventLoopImplBase.processNextEvent(EventLoop.common.kt:284) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BlockingCoroutine.joinBlocking(Builders.kt:85) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt__BuildersKt.runBlocking(Builders.kt:59) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt.runBlocking(Unknown Source) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt__BuildersKt.runBlocking$default(Builders.kt:38) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt.runBlocking$default(Unknown Source) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at org.utbot.rd.UtRdUtilKt.startBlocking(UtRdUtil.kt:31) ~[utbot-rd-utbot-intellij-2023.10.jar:?]
	at org.utbot.rd.RdSettingsContainer$settingFor$1$1.getValue(RdSettingsContainer.kt:33) ~[utbot-rd-utbot-intellij-2023.10.jar:?]
	at org.utbot.framework.UtSettings.getPathSelectorType(UtSettings.kt:67) ~[utbot-framework-api-utbot-intellij-2023.10.jar:?]
	at org.utbot.engine.UtBotSymbolicEngineKt.pathSelector(UtBotSymbolicEngine.kt:78) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.engine.UtBotSymbolicEngineKt.access$pathSelector(UtBotSymbolicEngine.kt:1) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.engine.UtBotSymbolicEngine.<init>(UtBotSymbolicEngine.kt:131) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.framework.plugin.api.TestCaseGenerator.createSymbolicEngine(TestCaseGenerator.kt:317) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.framework.plugin.api.TestCaseGenerator.access$createSymbolicEngine(TestCaseGenerator.kt:61) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.framework.plugin.api.TestCaseGenerator$generate$2$3$1$1.invokeSuspend(TestCaseGenerator.kt:213) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at kotlin.coroutines.jvm.internal.BaseContinuationImpl.resumeWith(ContinuationImpl.kt:33) ~[kotlin-stdlib-1.8.10.jar:1.8.10-release-430(1.8.10)]
	at kotlinx.coroutines.DispatchedTask.run(DispatchedTask.kt:106) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.EventLoopImplBase.processNextEvent(EventLoop.common.kt:284) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BlockingCoroutine.joinBlocking(Builders.kt:85) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt__BuildersKt.runBlocking(Builders.kt:59) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt.runBlocking(Unknown Source) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt__BuildersKt.runBlocking$default(Builders.kt:38) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt.runBlocking$default(Unknown Source) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at org.utbot.rd.UtRdUtilKt.startBlocking(UtRdUtil.kt:31) ~[utbot-rd-utbot-intellij-2023.10.jar:?]
	at org.utbot.rd.RdSettingsContainer$settingFor$1$1.getValue(RdSettingsContainer.kt:33) ~[utbot-rd-utbot-intellij-2023.10.jar:?]
	at org.utbot.framework.UtSettings.getPathSelectorType(UtSettings.kt:67) ~[utbot-framework-api-utbot-intellij-2023.10.jar:?]
	at org.utbot.engine.UtBotSymbolicEngineKt.pathSelector(UtBotSymbolicEngine.kt:78) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.engine.UtBotSymbolicEngineKt.access$pathSelector(UtBotSymbolicEngine.kt:1) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.engine.UtBotSymbolicEngine.<init>(UtBotSymbolicEngine.kt:131) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.framework.plugin.api.TestCaseGenerator.createSymbolicEngine(TestCaseGenerator.kt:317) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.framework.plugin.api.TestCaseGenerator.access$createSymbolicEngine(TestCaseGenerator.kt:61) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.framework.plugin.api.TestCaseGenerator$generate$2$3$1$1.invokeSuspend(TestCaseGenerator.kt:213) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at kotlin.coroutines.jvm.internal.BaseContinuationImpl.resumeWith(ContinuationImpl.kt:33) ~[kotlin-stdlib-1.8.10.jar:1.8.10-release-430(1.8.10)]
	at kotlinx.coroutines.DispatchedTask.run(DispatchedTask.kt:106) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.EventLoopImplBase.processNextEvent(EventLoop.common.kt:284) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BlockingCoroutine.joinBlocking(Builders.kt:85) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt__BuildersKt.runBlocking(Builders.kt:59) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt.runBlocking(Unknown Source) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt__BuildersKt.runBlocking$default(Builders.kt:38) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt.runBlocking$default(Unknown Source) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at org.utbot.rd.UtRdUtilKt.startBlocking(UtRdUtil.kt:31) ~[utbot-rd-utbot-intellij-2023.10.jar:?]
	at org.utbot.rd.RdSettingsContainer$settingFor$1$1.getValue(RdSettingsContainer.kt:33) ~[utbot-rd-utbot-intellij-2023.10.jar:?]
	at org.utbot.framework.UtSettings.getPathSelectorType(UtSettings.kt:67) ~[utbot-framework-api-utbot-intellij-2023.10.jar:?]
	at org.utbot.engine.UtBotSymbolicEngineKt.pathSelector(UtBotSymbolicEngine.kt:78) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.engine.UtBotSymbolicEngineKt.access$pathSelector(UtBotSymbolicEngine.kt:1) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.engine.UtBotSymbolicEngine.<init>(UtBotSymbolicEngine.kt:131) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.framework.plugin.api.TestCaseGenerator.createSymbolicEngine(TestCaseGenerator.kt:317) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.framework.plugin.api.TestCaseGenerator.access$createSymbolicEngine(TestCaseGenerator.kt:61) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.framework.plugin.api.TestCaseGenerator$generate$2$3$1$1.invokeSuspend(TestCaseGenerator.kt:213) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at kotlin.coroutines.jvm.internal.BaseContinuationImpl.resumeWith(ContinuationImpl.kt:33) ~[kotlin-stdlib-1.8.10.jar:1.8.10-release-430(1.8.10)]
	at kotlinx.coroutines.DispatchedTask.run(DispatchedTask.kt:106) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.EventLoopImplBase.processNextEvent(EventLoop.common.kt:284) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BlockingCoroutine.joinBlocking(Builders.kt:85) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt__BuildersKt.runBlocking(Builders.kt:59) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt.runBlocking(Unknown Source) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt__BuildersKt.runBlocking$default(Builders.kt:38) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt.runBlocking$default(Unknown Source) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at org.utbot.rd.UtRdUtilKt.startBlocking(UtRdUtil.kt:31) ~[utbot-rd-utbot-intellij-2023.10.jar:?]
	at org.utbot.rd.RdSettingsContainer$settingFor$1$1.getValue(RdSettingsContainer.kt:33) ~[utbot-rd-utbot-intellij-2023.10.jar:?]
	at org.utbot.framework.UtSettings.getPathSelectorType(UtSettings.kt:67) ~[utbot-framework-api-utbot-intellij-2023.10.jar:?]
	at org.utbot.engine.UtBotSymbolicEngineKt.pathSelector(UtBotSymbolicEngine.kt:78) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.engine.UtBotSymbolicEngineKt.access$pathSelector(UtBotSymbolicEngine.kt:1) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.engine.UtBotSymbolicEngine.<init>(UtBotSymbolicEngine.kt:131) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.framework.plugin.api.TestCaseGenerator.createSymbolicEngine(TestCaseGenerator.kt:317) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.framework.plugin.api.TestCaseGenerator.access$createSymbolicEngine(TestCaseGenerator.kt:61) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.framework.plugin.api.TestCaseGenerator$generate$2$3$1$1.invokeSuspend(TestCaseGenerator.kt:213) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at kotlin.coroutines.jvm.internal.BaseContinuationImpl.resumeWith(ContinuationImpl.kt:33) ~[kotlin-stdlib-1.8.10.jar:1.8.10-release-430(1.8.10)]
	at kotlinx.coroutines.DispatchedTask.run(DispatchedTask.kt:106) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.EventLoopImplBase.processNextEvent(EventLoop.common.kt:284) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BlockingCoroutine.joinBlocking(Builders.kt:85) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt__BuildersKt.runBlocking(Builders.kt:59) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt.runBlocking(Unknown Source) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt__BuildersKt.runBlocking$default(Builders.kt:38) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt.runBlocking$default(Unknown Source) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at org.utbot.rd.UtRdUtilKt.startBlocking(UtRdUtil.kt:31) ~[utbot-rd-utbot-intellij-2023.10.jar:?]
	at org.utbot.rd.RdSettingsContainer$settingFor$1$1.getValue(RdSettingsContainer.kt:33) ~[utbot-rd-utbot-intellij-2023.10.jar:?]
	at org.utbot.framework.UtSettings.getPathSelectorType(UtSettings.kt:67) ~[utbot-framework-api-utbot-intellij-2023.10.jar:?]
	at org.utbot.engine.UtBotSymbolicEngineKt.pathSelector(UtBotSymbolicEngine.kt:78) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.engine.UtBotSymbolicEngineKt.access$pathSelector(UtBotSymbolicEngine.kt:1) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.engine.UtBotSymbolicEngine.<init>(UtBotSymbolicEngine.kt:131) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.framework.plugin.api.TestCaseGenerator.createSymbolicEngine(TestCaseGenerator.kt:317) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.framework.plugin.api.TestCaseGenerator.access$createSymbolicEngine(TestCaseGenerator.kt:61) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.framework.plugin.api.TestCaseGenerator$generate$2$3$1$1.invokeSuspend(TestCaseGenerator.kt:213) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at kotlin.coroutines.jvm.internal.BaseContinuationImpl.resumeWith(ContinuationImpl.kt:33) ~[kotlin-stdlib-1.8.10.jar:1.8.10-release-430(1.8.10)]
	at kotlinx.coroutines.DispatchedTask.run(DispatchedTask.kt:106) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.EventLoopImplBase.processNextEvent(EventLoop.common.kt:284) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BlockingCoroutine.joinBlocking(Builders.kt:85) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt__BuildersKt.runBlocking(Builders.kt:59) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt.runBlocking(Unknown Source) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt__BuildersKt.runBlocking$default(Builders.kt:38) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at kotlinx.coroutines.BuildersKt.runBlocking$default(Unknown Source) ~[kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at org.utbot.common.ConcurrencyKt.runBlockingWithCancellationPredicate(Concurrency.kt:38) ~[utbot-core-utbot-intellij-2023.10.jar:?]
	at org.utbot.framework.plugin.api.TestCaseGenerator$generate$2$3.invoke(TestCaseGenerator.kt:204) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.framework.plugin.api.TestCaseGenerator$generate$2$3.invoke(TestCaseGenerator.kt:203) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.common.ConcurrencyKt.runIgnoringCancellationException(Concurrency.kt:47) ~[utbot-core-utbot-intellij-2023.10.jar:?]
	at org.utbot.framework.plugin.api.TestCaseGenerator.generate(TestCaseGenerator.kt:203) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.framework.process.EngineProcessMainKt$setup$4.invoke(EngineProcessMain.kt:127) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.framework.process.EngineProcessMainKt$setup$4.invoke(EngineProcessMain.kt:112) ~[utbot-framework-utbot-intellij-2023.10.jar:?]
	at org.utbot.rd.IdleWatchdog$measureTimeForActiveCall$1$2$1.invoke(ClientProcessUtil.kt:115) ~[utbot-rd-utbot-intellij-2023.10.jar:?]
	at org.utbot.rd.IdleWatchdog.wrapActive(ClientProcessUtil.kt:88) ~[utbot-rd-utbot-intellij-2023.10.jar:?]
	at org.utbot.rd.IdleWatchdog$measureTimeForActiveCall$1.invoke(ClientProcessUtil.kt:114) ~[utbot-rd-utbot-intellij-2023.10.jar:?]
	at com.jetbrains.rd.framework.IRdEndpoint$set$1.invoke(TaskInterfaces.kt:182) ~[rd-framework-2023.1.2.jar:?]
	at com.jetbrains.rd.framework.IRdEndpoint$set$1.invoke(TaskInterfaces.kt:182) ~[rd-framework-2023.1.2.jar:?]
	at com.jetbrains.rd.framework.impl.RdCall.onWireReceived(RdTask.kt:362) ~[rd-framework-2023.1.2.jar:?]
	at com.jetbrains.rd.framework.MessageBroker$invoke$2$2.invoke(MessageBroker.kt:57) ~[rd-framework-2023.1.2.jar:?]
	at com.jetbrains.rd.framework.MessageBroker$invoke$2$2.invoke(MessageBroker.kt:56) ~[rd-framework-2023.1.2.jar:?]
	at com.jetbrains.rd.framework.impl.ProtocolContexts.readMessageContextAndInvoke(ProtocolContexts.kt:148) ~[rd-framework-2023.1.2.jar:?]
	at com.jetbrains.rd.framework.MessageBroker$invoke$2.invoke(MessageBroker.kt:56) ~[rd-framework-2023.1.2.jar:?]
	at com.jetbrains.rd.framework.MessageBroker$invoke$2.invoke(MessageBroker.kt:54) ~[rd-framework-2023.1.2.jar:?]
	at com.jetbrains.rd.util.threading.SingleThreadSchedulerBase.queue$lambda-3(SingleThreadScheduler.kt:41) ~[rd-core-2023.1.2.jar:?]
	at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1136) [?:?]
	at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:635) [?:?]
@tyuldashev tyuldashev added ctg-bug Issue is a bug comp-symbolic-engine Issue is related to the symbolic execution engine labels Oct 2, 2023
@Markoutte Markoutte assigned Damtev and unassigned Markoutte Oct 3, 2023
@Damtev
Copy link
Member

Damtev commented Oct 3, 2023

@tyuldashev could you provide more context and the environment info, please? The attached stack trace looks very strange.

@tyuldashev
Copy link
Collaborator Author

Nothing unusual, that was test generation by plugin from latest main (build #5277). The only non-default setting was Symbolic=100%.

@Damtev
Copy link
Member

Damtev commented Oct 4, 2023

Cannot reproduce. Anyway, the root cause of the problem is probably connected with Rd in particular or with coroutines in general - the stack trace contains two invocations of traverseConst (and other traversing invocations too) that could not appear twice during normal linear execution (because traverseConst could not invoke traverseConst again).

@tyuldashev tyuldashev added the spec-flaky Reproducing scenario is not clear label Oct 5, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@Damtev Damtev

Labels
comp-symbolic-engine Issue is related to the symbolic execution engine ctg-bug Issue is a bug spec-flaky Reproducing scenario is not clear
Projects
UTBot Java
Status: Todo
Milestone
No milestone
Development

No branches or pull requests
3 participants
@Markoutte @tyuldashev @Damtev