Closed
Description
Description
Error during running ContestEstimator for classes that have anonymous classes:
<StatsForClass(com.google.common.collect.TreeMultiset)> :
canceled by timeout = false
#methods = 61,
#methods started symbolic exploration = 61
#methods with at least one TC = 8
#methods with exceptions = 4
#generated TC = 8
#total coverage = 117/2161
#fuzzed coverage = 117/2161
#concolic coverage = 0/2161
07:48:25.216 | INFO | ISOLATION: java.lang.IllegalStateException: ClassId com.google.common.collect.TreeMultiset$1 does not have canonical name
07:48:25.217 | INFO | continue without compilation
As result ContestEstimator doesn't produce any test.
To Reproduce
- Set 'guava' project in ContestEstimator.kt class,
fuzzingRatio = 1.0
,timeLimit = 60
- Change file
utbot-junit-contest/src/main/resources/classes/guava/list
and leave onlycom.google.common.collect.TreeMultiset
- Run ContestEstimator
Expected behavior
Generated test can be found in utbot-junit-contest/build/output
Actual behavior
No test generated.
Metadata
Metadata
Assignees
Labels
Type
Projects
Status
Done