Synthesize hints for resolution
Les mainteneurs répondent en général sous 1 jour
Personne n'a encore pris cette issue.
Évaluation
- Difficulté
- 5/5
- Temps estimé
- Plus d'une semaine
- Accessibilité débutants
- 25/100
Piste de recherche
The issue does not name files, tests, or an entry point; start by reading the project’s documentation and locating the code that tracks current and unreachable states, object information, and SMT solver use. The feature design is explicitly unplanned, so first establish its scope and expected behavior with maintainers before implementation; done criteria are not yet specified.
Rédigé par le modèle d'indexation à partir du texte de l'issue.
Description
Problem
When we know what's the state that we cannot reach, and the current state, we can statically propose on or more options that would make this possible by using both the information we have on the object and the smt solver.
For example in this case, there is only one method that has a to = compressionExplicit so that weould be a good hint. Additionally, we could use the smt to propose an argument that fits there.
The explicit design of this feature still has to be planned over.
- Langage dominant
- Java
- Étoiles
- 67
- Forks
- 36
- Merge moyen
- 2 j 4 h
- PR mergées (30 j)
- 28
Préparer son environnement
- Aucun Dockerfile ni fichier Docker Compose
- Propose un modèle de pull request
- Lire le guide de contribution
Par où commencer
- Lisez l'issue en entier, puis le guide de contribution du projet.
- Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
- Forkez le dépôt et travaillez sur une branche.
- Ouvrez une pull request qui référence le numéro de l'issue.
Autres issues de liquid-java/liquidjava
-
enhancement
Difficulté 2/5 1-3 heures Accessibilité débutants 65/100
liquid-java/liquidjava#373 ·
Les mainteneurs répondent en général sous 1 jour
-
bug
Difficulté 2/5 1-3 heures Accessibilité débutants 78/100
liquid-java/liquidjava#321 ·
Les mainteneurs répondent en général sous 1 jour
-
enhancement future latte
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 35/100
liquid-java/liquidjava#380 ·
Les mainteneurs répondent en général sous 1 jour
-
bug
Difficulté 4/5 3-5 jours Accessibilité débutants 48/100
liquid-java/liquidjava#379 ·
Les mainteneurs répondent en général sous 1 jour
-
bug
Difficulté 4/5 3-5 jours Accessibilité débutants 55/100
liquid-java/liquidjava#378 ·
Les mainteneurs répondent en général sous 1 jour
Toutes les issues de liquid-java/liquidjava
Issues similaires
-
Difficulté 1/5 Moins d'une heure Accessibilité débutants 74/100
Les mainteneurs répondent en général sous 1 jour
-
team:Lumberjack
Difficulté 2/5 1-3 heures Accessibilité débutants 76/100
OpenLiberty/open-liberty#35998 ·
Les mainteneurs répondent en général sous 1 jour
-
[BUG] SQS SendMessageBatch accepts more than 10 entries instead of TooManyEntriesInBatchRequestOuverte
Difficulté 2/5 1-3 heures Accessibilité débutants 67/100
floci-io/floci#5319 · 1 commentaire ·
Les mainteneurs répondent en général sous 1 jour
-
Bug QWP
Difficulté 2/5 1-3 heures Accessibilité débutants 79/100
Les mainteneurs répondent en général sous 3 jours
-
Difficulté 2/5 1-3 heures Accessibilité débutants 64/100