Skip to content

Compilation errors in generated times, possible reasoned by incorrect types resolving in machine #144

Open
@EgorkaKulikov

Description

@EgorkaKulikov

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.

Metadata

Metadata

Assignees

Labels

bugSomething isn't working

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions