Hacktoberfest 2026: le issue che i maintainer hanno segnato per ottobre, aperte e adatte ai principianti. Sfoglia le issue Hacktoberfest

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

Aperta
  • Qualcosa non va?
#144 0 commenti 0 reazioni 1 assegnatario Vedi su GitHub

I maintainer di solito rispondono entro 1 giorno

@Damtev ci sta già lavorando.

Dal 23/11/2023.

Valutazione

Questa issue non è ancora stata valutata.

Descrizione

bug

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.

Lingua principale
Kotlin
Stelle
33
Fork
27
Merge medio
3g 8h
PR unite (30g)
7

Preparare l'ambiente

Questo progetto non fornisce container di sviluppo, Dockerfile né guida per i contributori, quindi l'ambiente è a tuo carico: parti dal suo README e consulta la nostra guida al primo contributo per i passaggi generali.

Come iniziare

  1. Leggi tutta la issue e poi la guida ai contributi del progetto.
  2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
  3. Fai un fork del repository e lavora su un branch.
  4. Apri una pull request che faccia riferimento al numero della issue.

Altre issue di UnitTestBot/usvm

Tutte le issue di UnitTestBot/usvm

Issue simili

Altre issue su Kotlin

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.