Run ContestEstimator with the following options:
timeLimit = 120
methodFilter = "com.google.common.collect.MinMaxPriorityQueue.*"
projectFilter = listOf("guava")
NOTE that this problems does not reproduce each time. But sometimes...
Compilation errors: C:\UtBotJava\UTBotJava\utbot-junit-contest\build\output\test_candidates\guava\com\google\common\collect\MinMaxPriorityQueueTest.java:5118: error: no suitable method found for create(ServiceDefinitionImpl)
MinMaxPriorityQueue.create(serviceDefinitionImpl);
^
method MinMaxPriorityQueue.<E#1>create() is not applicable
(cannot infer type-variable(s) E#1
(actual and formal argument lists differ in length))
method MinMaxPriorityQueue.<E#2>create(Iterable<? extends E#2>) is not applicable
(inference variable E#2 has incompatible bounds
upper bounds: Comparable<E#2>
lower bounds: SDDocument)
where E#1,E#2 are type-variables:
E#1 extends Comparable<E#1> declared in method <E#1>create()
E#2 extends Comparable<E#2> declared in method <E#2>create(Iterable<? extends E#2>)
After quick analysis, it seems that the problem is not in compilation itself, but in the types produced by symbolic machine.
Run ContestEstimator with the following options:
NOTE that this problems does not reproduce each time. But sometimes...
After quick analysis, it seems that the problem is not in compilation itself, but in the types produced by symbolic machine.