Hacktoberfest 2026：メンテナが10月に向けて印を付けた、オープンで初心者向けの issue。 Hacktoberfest の issue を見る

Machine failed in `JcApplicationGraph.getTyped`

オープン
  • 何か問題がありますか？
#150 コメント 2 件 リアクション 0 件 担当者 1 名 GitHub で見る

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

まだ誰も着手していません。

評価

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

説明

bug

Run ContestEstimator with the following settings

timeLimit = 30
methodFilter = "com.google.common.base.internal.Finalizer.*"
projectFilter = listOf("guava-26.0")

There is the following error in logs:

ERROR | analyzeAsync failed
java.util.NoSuchElementException: Collection contains no element matching the predicate.
	at org.usvm.machine.JcApplicationGraph.getTyped(JcApplicationGraph.kt:86) ~[usvm-jvm-2511-1.jar:?]
	at org.usvm.machine.mocks.JcMockerKt.mockMethod(JcMocker.kt:17) ~[usvm-jvm-2511-1.jar:?]
	at org.usvm.machine.interpreter.JcInterpreter.visitMethodCall(JcInterpreter.kt:258) ~[usvm-jvm-2511-1.jar:?]
	at org.usvm.machine.interpreter.JcInterpreter.step(JcInterpreter.kt:159) ~[usvm-jvm-2511-1.jar:?]
	at org.usvm.machine.interpreter.JcInterpreter.step(JcInterpreter.kt:83) ~[usvm-jvm-2511-1.jar:?]
	at org.usvm.UMachine.run(Machine.kt:44) ~[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/:?]
主要言語
Kotlin
スター
33
フォーク
27
平均マージ
2日 20時間
マージ済み PR（30日）
9

環境構築

このプロジェクトには開発コンテナ、Dockerfile、コントリビューションガイドがありません。まず README を読み、一般的な手順ははじめてのコントリビューションガイドを参照してください。

はじめの一歩

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

UnitTestBot/usvm のほかの issue

UnitTestBot/usvm の issue をすべて見る

似ている issue

Kotlin の issue をもっと見る

新しい issue をメールで受け取る

初心者向けの GitHub issue を短くまとめたダイジェスト。