Restore alias expansion in refinement diagnostic history
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 4/5
- Tempo stimato
- 3-5 giorni
- Idoneità per principianti
- 48/100
Direzione di ricerca
Start by tracing the VC simplification history that replaced the earlier alias derivation work in issues #160, #184, and #261. Add a regression test for the E_A2_04_CsvChunker mismatch or an equivalent found-versus-expected refinement failure. Done means failed checks retain structured alias expansions for both refinements, including substituted definitions and navigation back to alias names.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
Alias expansion is used when checking a refinement, but the current VC simplification history does not record it. The earlier alias derivation feature from #160 and #184 was removed during the migration to VC simplification in #261.
For example, E_A2_04_CsvChunker reports Expected: Positive(buffered), Found: Nat(buffered), and counterexample buffered == 0. Here Nat(x) means x >= 0 and Positive(x) means x > 0, but the diagnostic contains no step that reveals those definitions.
Preserve the alias expansions used in a failed check as structured diagnostic data for both the found and expected refinements. A client should be able to show the substituted definitions and navigate back to the alias names. Add a regression test for this example or an equivalent mismatch.
- Lingua principale
- Java
- Stelle
- 67
- Fork
- 36
- Merge medio
- 7g 48m
- PR unite (30g)
- 2
Preparare l'ambiente
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Altre issue di liquid-java/liquidjava
-
enhancement error messages future ide
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
liquid-java/liquidjava#298 ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100
liquid-java/liquidjava#297 ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 55/100
liquid-java/liquidjava#296 ·
-
Add a flag -a to show all verification conditions sent to the smt solverForse di nuovo libera @CatarinaGamboa l’ha presa 116 giorni fa e non c’è nessuna pull request aperta. Apertaenhancement
liquid-java/liquidjava#240 · 1 assegnatario ·
-
enhancement ide
Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100
liquid-java/liquidjava#206 ·
Tutte le issue di liquid-java/liquidjava
Issue simili
-
and-bugs and-ui gpx-track
Difficoltà 2/5 1-3 ore Idoneità per principianti 86/100
I maintainer di solito rispondono entro 2 giorni
-
TerminalRow.mSpaceUsed (short) overflows on terminals wider than 1023 columns, crashing setCharAperta
Difficoltà 2/5 1-3 ore Idoneità per principianti 88/100
termux/termux-app#5340 ·
I maintainer di solito rispondono entro 1 giorno
-
OpenAICompatibleToolDescriptorSchemaGenerator drops requiredProperties of nested object parametersAperta
Difficoltà 2/5 1-3 ore Idoneità per principianti 78/100
I maintainer di solito rispondono entro 7 giorni
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 86/100
apache/rocketmq-dashboard#5110 ·
I maintainer di solito rispondono entro 1 giorno
-
frontend
Difficoltà 2/5 1-3 ore Idoneità per principianti 88/100
No-Country-simulation/S08-26-equipo04#210 ·
I maintainer di solito rispondono entro 1 giorno