You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Checkout to usvm_competitions_2024 branch, at least one reproducable commit 5503f43
Use the following settings in ContestEstimator:
val timeLimit =120
methodFilter ="com.google.common.primitives.Booleans\$LexicographicalComparator.toString"
projectFilter =listOf("guava-26.0")
Add the following line com.google.common.primitives.Booleans$LexicographicalComparator to the utbot-junit-contest/src/main/resources/classes/guava-26.0/list
Always use symbolicResult and ignore concreteResult in org.utbot.contest.usvm.jc.JcTestExecutor#execute
The text was updated successfully, but these errors were encountered:
Consider the following class
com.google.common.primitives.Booleans$LexicographicalComparator
inguava-26.0
:In tests for methods of this class in some specific conditions we generate the following code:
Steps to reproduce:
usvm_competitions_2024
branch, at least one reproducable commit 5503f43ContestEstimator
:com.google.common.primitives.Booleans$LexicographicalComparator
to theutbot-junit-contest/src/main/resources/classes/guava-26.0/list
symbolicResult
and ignoreconcreteResult
inorg.utbot.contest.usvm.jc.JcTestExecutor#execute
The text was updated successfully, but these errors were encountered: