We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Consider the following tests generation scenario:
timeLimit = 120 methodFilter = "com.google.common.net.MediaType.*" projectFilter = listOf("guava")
The following exception can be found in logs
JcMachine failed java.lang.IllegalStateException: Unexpected type: org.jacodb.impl.types.JcTypeVariableImpl@5a0c610b at org.usvm.util.JcMethodUtilsKt.findMethod(JcMethodUtils.kt:30) ~[usvm-jvm-comp-231118-1620.jar:?] at org.usvm.machine.interpreter.JcVirtualInvokeResolverKt$makeConcreteCallsForPossibleTypes$1$block$1.invoke(JcVirtualInvokeResolver.kt:281) ~[usvm-jvm-comp-231118-1620.jar:?] at org.usvm.machine.interpreter.JcVirtualInvokeResolverKt$makeConcreteCallsForPossibleTypes$1$block$1.invoke(JcVirtualInvokeResolver.kt:280) ~[usvm-jvm-comp-231118-1620.jar:?] at org.usvm.StepScope.forkMulti(StepScope.kt:117) ~[usvm-core-comp-231118-1620.jar:?] at org.usvm.machine.interpreter.JcVirtualInvokeResolverKt.resolveVirtualInvokeWithModel(JcVirtualInvokeResolver.kt:110) ~[usvm-jvm-comp-231118-1620.jar:?] at org.usvm.machine.interpreter.JcVirtualInvokeResolverKt.resolveVirtualInvoke(JcVirtualInvokeResolver.kt:53) ~[usvm-jvm-comp-231118-1620.jar:?] at org.usvm.machine.interpreter.JcInterpreter.resolveVirtualInvoke(JcInterpreter.kt:581) ~[usvm-jvm-comp-231118-1620.jar:?] at org.usvm.machine.interpreter.JcInterpreter.visitMethodCall(JcInterpreter.kt:269) ~[usvm-jvm-comp-231118-1620.jar:?] at org.usvm.machine.interpreter.JcInterpreter.step(JcInterpreter.kt:158) ~[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/:?] at org.utbot.common.ThreadBasedExecutor$invokeWithTimeout$1.invoke(ThreadUtil.kt:70) ~[utbot-core-2023.11-SNAPSHOT.jar:?] at org.utbot.common.ThreadBasedExecutor$ensureThreadIsAlive$1.invoke(ThreadUtil.kt:124) ~[utbot-core-2023.11-SNAPSHOT.jar:?] at org.utbot.common.ThreadBasedExecutor$ensureThreadIsAlive$1.invoke(ThreadUtil.kt:120) ~[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)]
The text was updated successfully, but these errors were encountered:
Probably fixed in the main branch, please check.
Sorry, something went wrong.
Damtev
No branches or pull requests
Consider the following tests generation scenario:
The following exception can be found in logs
The text was updated successfully, but these errors were encountered: