You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
ERROR | JcToUtExecutionConverter.convert((id:24)com.google.common.collect.ReverseOrdering#max(java.util.Iterator)) failed
org.usvm.instrumentation.testcase.executor.TestExecutorException: Can't find class stub.java.util.stream.DoubleStreamLSLIterator in classpath
at org.usvm.instrumentation.util.JacodbKt.findClassInLoader(Jacodb.kt:115) ~[usvm-jvm-instrumentation-2511-1.jar:?]
at org.usvm.instrumentation.util.JacodbKt.toJavaClass(Jacodb.kt:108) ~[usvm-jvm-instrumentation-2511-1.jar:?]
at org.usvm.instrumentation.util.JacodbKt.toJavaClass$default(Jacodb.kt:107) ~[usvm-jvm-instrumentation-2511-1.jar:?]
at org.utbot.contest.usvm.converter.ConverterUtilsKt.getClassId(ConverterUtils.kt:93) ~[main/:?]
at org.utbot.contest.usvm.converter.UTestInstToUtModelConverter.processExpr(UTestInstToUtModelConverter.kt:142) ~[main/:?]
at org.utbot.contest.usvm.converter.UTestInstToUtModelConverter.processInst(UTestInstToUtModelConverter.kt:107) ~[main/:?]
at org.utbot.contest.usvm.converter.UTestInstToUtModelConverter.processUTest(UTestInstToUtModelConverter.kt:66) ~[main/:?]
at org.utbot.contest.usvm.converter.JcToUtExecutionConverter.<init>(JcToUtExecutionConverter.kt:65) ~[main/:?]
at org.utbot.contest.usvm.ContestUsvmKt$runUsvmGeneration$1$9$5.invoke(ContestUsvm.kt:184) [main/:?]
at org.utbot.contest.usvm.ContestUsvmKt$runUsvmGeneration$1$9$5.invoke(ContestUsvm.kt:168) [main/:?]
at org.utbot.contest.usvm.ContestUsvmKt$analyzeAsync$1$1$1.addState(ContestUsvm.kt:275) [main/:?]
at org.utbot.contest.usvm.ContestUsvmKt$analyzeAsync$1$1$1.addState(ContestUsvm.kt:269) [main/:?]
at org.usvm.statistics.collectors.CoveredNewStatesCollector.onStateTerminated(CoveredNewStatesCollector.kt:26) [usvm-core-2511-1.jar:?]
at org.usvm.statistics.CompositeUMachineObserver.onStateTerminated(UMachineObserver.kt:48) [usvm-core-2511-1.jar:?]
at org.usvm.UMachine.run(Machine.kt:66) [usvm-core-2511-1.jar:?]
at org.usvm.machine.JcMachine.analyze(JcMachine.kt:195) [usvm-jvm-2511-1.jar:?]
at org.utbot.contest.usvm.ContestUsvmKt$analyzeAsync$1.invoke(ContestUsvm.kt:267) [main/:?]
at org.utbot.contest.usvm.ContestUsvmKt$analyzeAsync$1.invoke(ContestUsvm.kt:265) [main/:?]
at org.utbot.common.ThreadBasedExecutor$invokeWithTimeout$1.invoke(ThreadUtil.kt:75) [utbot-core-2023.11-SNAPSHOT.jar:?]
at org.utbot.common.ThreadBasedExecutor$ensureThreadIsAlive$1.invoke(ThreadUtil.kt:129) [utbot-core-2023.11-SNAPSHOT.jar:?]
at org.utbot.common.ThreadBasedExecutor$ensureThreadIsAlive$1.invoke(ThreadUtil.kt:125) [utbot-core-2023.11-SNAPSHOT.jar:?]
at kotlin.concurrent.ThreadsKt$thread$thread$1.run(Thread.kt:30) [kotlin-stdlib-1.8.22.jar:1.8.22-release-407(1.8.22)]
Also, there are similar problems
14:06:00.785 | ERROR | (x10) JcToUtExecutionConverter.convert((id:24)com.google.common.collect.ReverseOrdering#max(java.lang.Iterable)) failed
java.lang.IllegalStateException: JcType.classId failed on runtime.LibSLRuntime.Map<K, V>
at org.utbot.contest.usvm.converter.ConverterUtilsKt.getClassId(ConverterUtils.kt:73)
and
ERROR | (x10) JcToUtExecutionConverter.convert((id:24)com.google.common.collect.ReverseOrdering#min(java.util.Iterator)) failed
org.usvm.instrumentation.testcase.executor.TestExecutorException: Can't find class stub.java.util.stream.DoubleStreamLSLIterator in classpath
at org.usvm.instrumentation.util.JacodbKt.findClassInLoader(Jacodb.kt:115)
The text was updated successfully, but these errors were encountered:
Run ContestEstimator with the following settings
There is an error in logs
Also, there are similar problems
and
The text was updated successfully, but these errors were encountered: