Restore alias expansion in refinement diagnostic history
Dieses Issue hat noch niemand übernommen.
Bewertung
- Schwierigkeit
- 4/5
- Geschätzter Aufwand
- 3-5 Tage
- Anfängerfreundlichkeit
- 48/100
Rechercherichtung
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.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Beschreibung
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.
- Vorherrschende Sprache
- Java
- Sterne
- 67
- Forks
- 36
- Ø Merge
- 7 T. 48 Min.
- Gemergte PRs (30 T.)
- 2
Entwicklungsumgebung
Erste Schritte
- Lesen Sie das ganze Issue und danach den Beitragsleitfaden des Projekts.
- Schreiben Sie ins Issue, dass Sie es übernehmen — das erspart doppelte Arbeit.
- Forken Sie das Repository und arbeiten Sie in einem Branch.
- Öffnen Sie einen Pull Request, der die Issue-Nummer nennt.
Mehr aus liquid-java/liquidjava
-
enhancement error messages future ide
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 35/100
liquid-java/liquidjava#298 ·
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 48/100
liquid-java/liquidjava#297 ·
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 55/100
liquid-java/liquidjava#296 ·
-
Add a flag -a to show all verification conditions sent to the smt solverEvtl. wieder frei @CatarinaGamboa hat das vor 116 Tagen übernommen, und es ist kein Pull Request offen. Offenenhancement
liquid-java/liquidjava#240 · 1 zugewiesene Person ·
-
enhancement ide
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 45/100
liquid-java/liquidjava#206 ·
Alle Issues in liquid-java/liquidjava
Ähnliche Issues
-
bug
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 78/100
openhab/openhab-core#5847 ·
Maintainer antworten meist innerhalb von 1 Tag
-
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 75/100
-
bug
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 76/100
-
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 88/100
apache/parquet-java#3820 ·
Maintainer antworten meist innerhalb von 1 Tag
-
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 78/100
beehive-lab/jllm#187 ·