Not decoded SymbolicList is present in UTest
@Saloed đang làm issue này rồi.
Từ ngày 25/11/2023.
Đánh giá
Issue này chưa được đánh giá.
Mô tả
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/:?]
- Ngôn ngữ chính
- Kotlin
- Star
- 33
- Fork
- 27
- Merge trung bình
- 4 ngày 3 giờ
- Pull request đã merge (30 ngày)
- 15
Hướng dẫn đóng góp
Chưa lập chỉ mục được hướng dẫn đóng góp cho kho mã nguồn này
Bắt đầu từ đâu
- Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
- Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
- Fork repository và làm thay đổi trên một nhánh.
- Mở pull request có tham chiếu số hiệu của issue.
Issue khác của UnitTestBot/usvm
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 45/100
UnitTestBot/usvm#388 ·
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
UnitTestBot/usvm#384 ·
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
UnitTestBot/usvm#382 ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100
UnitTestBot/usvm#379 ·
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
UnitTestBot/usvm#373 ·
Tất cả issue của UnitTestBot/usvm
Issue tương tự
-
bug
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 68/100
-
index-request triaged
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 72/100
-
enhancement
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 68/100
Anthonyy232/Paperize#614 ·
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 76/100
bitcoindevkit/bdk-ffi#1125 ·
-
🌑 nextgen
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 82/100
CCBlueX/LiquidBounce#9214 · 1 bình luận ·