Not decoded SymbolicList is present in UTest
@Saloed がすでに取り組んでいます。
2023年11月25日 から。
評価
この issue はまだ評価されていません。
説明
Run ContestEstimator with the following settings
timeLimit = 30
methodFilter = "com.alibaba.fastjson.parser.deserializer.ResolveFieldDeserializer.*"
projectFilter = listOf("fastjson-1.2.50")
The following error is found in logs:
ERROR JcToUtExecutionConverter.convert((id:21)com.alibaba.fastjson.parser.deserializer.ResolveFieldDeserializer#setValue(java.lang.Object, java.lang.Object)) failed
java.lang.IllegalStateException: JcType.classId failed on org.usvm.api.SymbolicList<E>
at org.utbot.contest.usvm.converter.ConverterUtilsKt.getClassId(ConverterUtils.kt:73) ~[main/:?]
at org.utbot.contest.usvm.converter.UTestInstToUtModelConverter.processExpr(UTestInstToUtModelConverter.kt:220) ~[main/:?]
at org.utbot.contest.usvm.converter.UTestInstToUtModelConverter.processInst(UTestInstToUtModelConverter.kt:112) ~[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/:?]
- 主要言語
- Kotlin
- スター
- 33
- フォーク
- 27
- 平均マージ
- 4日 3時間
- マージ済み PR(30日)
- 15
コントリビューションガイド
このリポジトリのコントリビューションガイドは索引されていません
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
UnitTestBot/usvm のほかの issue
-
難易度 5/5 1週間以上 初心者へのやさしさ 45/100
UnitTestBot/usvm#388 ·
-
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
UnitTestBot/usvm#384 ·
-
難易度 5/5 1週間以上 初心者へのやさしさ 35/100
UnitTestBot/usvm#382 ·
-
難易度 4/5 3〜5日 初心者へのやさしさ 48/100
UnitTestBot/usvm#379 ·
-
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
UnitTestBot/usvm#373 ·
UnitTestBot/usvm の issue をすべて見る
似ている issue
-
bug
難易度 2/5 1〜3時間 初心者へのやさしさ 68/100
-
index-request triaged
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
-
enhancement
難易度 2/5 1〜3時間 初心者へのやさしさ 68/100
Anthonyy232/Paperize#614 ·
-
難易度 2/5 1〜3時間 初心者へのやさしさ 76/100
bitcoindevkit/bdk-ffi#1125 ·
-
🌑 nextgen
難易度 2/5 1〜3時間 初心者へのやさしさ 82/100
CCBlueX/LiquidBounce#9214 · コメント 1 件 ·