Class is not found, possibly because it has not been decoded

メンテナーはふだん 1 日以内に返信

評価

この issue はまだ評価されていません。

説明

timeLimit = 30
methodFilter = "com.google.common.collect.ReverseOrdering.*"
projectFilter = listOf("guava-26.0")

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)]

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)

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)

環境構築

はじめの一歩

1. issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
2. 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
3. リポジトリをフォークし、ブランチを切って変更します。
4. issue 番号を参照したプルリクエストを送ります。

UnitTestBot/usvm のほかの issue

• [TS] Bind lexical this when calling stored arrow functions

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement

  難易度 4/5 3〜5日 初心者へのやさしさ 48/100

  UnitTestBot/usvm#440 · 2026年10月2日 に作成

  メンテナーはふだん 1 日以内に返信

• [TS] Execute Symbol values without treating them as references

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement

  難易度 4/5 3〜5日 初心者へのやさしさ 55/100

  UnitTestBot/usvm#439 · 2026年10月2日 に作成

  メンテナーはふだん 1 日以内に返信

• [TS] Support multiple arguments in Array.unshift

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement

  難易度 3/5 1〜2日 初心者へのやさしさ 70/100

  UnitTestBot/usvm#438 · 2026年10月2日 に作成

  メンテナーはふだん 1 日以内に返信

• [TS] Normalize negative indices in Array.fill

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement

  難易度 3/5 1〜2日 初心者へのやさしさ 72/100

  UnitTestBot/usvm#437 · 2026年10月2日 に作成

  メンテナーはふだん 1 日以内に返信

• [TS] Replace the constant toString call approximation

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement

  難易度 4/5 3〜5日 初心者へのやさしさ 62/100

  UnitTestBot/usvm#436 · 2026年10月2日 に作成

  メンテナーはふだん 1 日以内に返信

UnitTestBot/usvm の issue をすべて見る

似ている issue

• Publish a prebuilt tree-sitter-kotlin.wasm with the npm package?

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 2/5 1〜3時間 初心者へのやさしさ 74/100

  fwcd/tree-sitter-kotlin#289 · 2026年10月2日 に作成

• Stopp publisering av feilregistrerte oppfølgingsplaner til Dokumentporten

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 2/5 1〜3時間 初心者へのやさしさ 82/100

  navikt/syfo-oppfolgingsplan-backend#482 · 2026年10月2日 に作成

  メンテナーはふだん 1 日以内に返信

• google-java-format 1.37.0: NoSuchMethodError on JavaFormatterOptions$Style.valueOf (Style is now a record)

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 2/5 1〜3時間 初心者へのやさしさ 78/100

  diffplug/spotless#3126 · 2026年10月2日 に作成

  メンテナーはふだん 1 日以内に返信

• MorphiaDatastore#merge leaks an unclosed cursor

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  bug

  難易度 1/5 1時間未満 初心者へのやさしさ 90/100

  MorphiaOrg/morphia#4332 · 2026年10月2日 に作成

  メンテナーはふだん 1 日以内に返信

• [Feature Request] Memory Tagging Extension (MTE) asynchronous mode

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 1/5 1時間未満 初心者へのやさしさ 76/100

  ooni/probe-multiplatform#1614 · コメント 1 件 · 2026年10月2日 に作成

  メンテナーはふだん 1 日以内に返信

Kotlin の issue をもっと見る