JcMachine failed with Trying cast not primitive type <> to primitive type <>
@CaelmBleidd ya está trabajando en esto.
Desde el 20/11/2023.
Evaluación
Este issue todavía no se ha evaluado.
Descripción
Run tests generation with the following settings:
timeLimit = 120
methodFilter = "com.google.common.util.concurrent.SimpleTimeLimiter.*"
projectFilter = listOf("guava-26.0")
The following JcMachine failure is found in logs multiple times:
JcMachine failed
java.lang.IllegalStateException: Trying cast not primitive type org.jacodb.impl.types.JcClassTypeImpl@18aecfe8 to primitive type org.jacodb.api.PredefinedPrimitive@32c67c
at org.usvm.machine.interpreter.JcExprResolver$resolvePrimitiveCast$1.invoke(JcExprResolver.kt:893) ~[usvm-jvm-comp-231118-1620.jar:?]
at org.usvm.machine.interpreter.JcExprResolver$resolvePrimitiveCast$1.invoke(JcExprResolver.kt:891) ~[usvm-jvm-comp-231118-1620.jar:?]
at org.usvm.machine.interpreter.JcExprResolver.resolveAfterResolved(JcExprResolver.kt:940) ~[usvm-jvm-comp-231118-1620.jar:?]
at org.usvm.machine.interpreter.JcExprResolver.resolvePrimitiveCast(JcExprResolver.kt:891) ~[usvm-jvm-comp-231118-1620.jar:?]
at org.usvm.machine.interpreter.JcExprResolver.resolveJcExpr(JcExprResolver.kt:152) ~[usvm-jvm-comp-231118-1620.jar:?]
at org.usvm.machine.interpreter.JcExprResolver.visitJcSpecialCallExpr(JcExprResolver.kt:1283) ~[usvm-jvm-comp-231118-1620.jar:?]
at org.usvm.machine.interpreter.JcExprResolver.visitJcSpecialCallExpr(JcExprResolver.kt:127) ~[usvm-jvm-comp-231118-1620.jar:?]
at org.jacodb.api.cfg.JcSpecialCallExpr.accept(JcInst.kt:773) ~[jacodb-api-1.4.0.jar:1.4.0]
at org.usvm.machine.interpreter.JcExprResolver.resolveJcExpr(JcExprResolver.kt:154) ~[usvm-jvm-comp-231118-1620.jar:?]
at org.usvm.machine.interpreter.JcExprResolver.resolveJcExpr$default(JcExprResolver.kt:149) ~[usvm-jvm-comp-231118-1620.jar:?]
at org.usvm.machine.interpreter.JcInterpreter.visitCallStmt(JcInterpreter.kt:472) ~[usvm-jvm-comp-231118-1620.jar:?]
at org.usvm.machine.interpreter.JcInterpreter.step(JcInterpreter.kt:166) ~[usvm-jvm-comp-231118-1620.jar:?]
at org.usvm.machine.interpreter.JcInterpreter.step(JcInterpreter.kt:82) ~[usvm-jvm-comp-231118-1620.jar:?]
at org.usvm.UMachine.run(Machine.kt:40) ~[usvm-core-comp-231118-1620.jar:?]
at org.usvm.machine.JcMachine.analyze(JcMachine.kt:148) ~[usvm-jvm-comp-231118-1620.jar:?]
at org.usvm.machine.JcMachine.analyze$default(JcMachine.kt:53) ~[usvm-jvm-comp-231118-1620.jar:?]
at org.utbot.contest.usvm.ContestUsvmKt$runUsvmGeneration$1$9$8$states$2$1.invoke(ContestUsvm.kt:184) ~[main/:?]
- Lenguaje dominante
- Kotlin
- Estrellas
- 33
- Forks
- 27
- Merge medio
- 4 d 3 h
- PR fusionados (30 d)
- 15
Guía de contribución
No hay ninguna guía de contribución indexada para este repositorio
Primeros pasos
- Lee el issue completo y luego la guía de contribución del proyecto.
- Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
- Haz un fork del repositorio y trabaja en una rama.
- Abre un pull request que haga referencia al número del issue.
Más de UnitTestBot/usvm
-
Dificultad 5/5 Más de una semana Aptitud para principiantes 45/100
UnitTestBot/usvm#388 ·
-
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
UnitTestBot/usvm#384 ·
-
Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100
UnitTestBot/usvm#382 ·
-
Dificultad 4/5 3-5 días Aptitud para principiantes 48/100
UnitTestBot/usvm#379 ·
-
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
UnitTestBot/usvm#373 ·
Todos los issues de UnitTestBot/usvm
Issues similares
-
bug
Dificultad 2/5 1-3 horas Aptitud para principiantes 68/100
-
index-request triaged
Dificultad 2/5 1-3 horas Aptitud para principiantes 72/100
-
enhancement
Dificultad 2/5 1-3 horas Aptitud para principiantes 68/100
Anthonyy232/Paperize#614 ·
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 76/100
bitcoindevkit/bdk-ffi#1125 ·
-
🌑 nextgen
Dificultad 2/5 1-3 horas Aptitud para principiantes 82/100
CCBlueX/LiquidBounce#9214 · 1 comentario ·