Restore alias expansion in refinement diagnostic history
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 4/5
- Tiempo estimado
- 3-5 días
- Aptitud para principiantes
- 48/100
Línea de trabajo
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.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
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.
- Lenguaje dominante
- Java
- Estrellas
- 67
- Forks
- 36
- Merge medio
- 7 d 48 min
- PR fusionados (30 d)
- 2
Preparar el entorno
Primeros pasos
- Lee el issue completo y luego la guía de contribución del proyecto.
- Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
- Haz un fork del repositorio y trabaja en una rama.
- Abre un pull request que haga referencia al número del issue.
Más de liquid-java/liquidjava
-
enhancement error messages future ide
Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100
liquid-java/liquidjava#298 ·
-
Dificultad 4/5 3-5 días Aptitud para principiantes 48/100
liquid-java/liquidjava#297 ·
-
Dificultad 4/5 3-5 días Aptitud para principiantes 55/100
liquid-java/liquidjava#296 ·
-
Add a flag -a to show all verification conditions sent to the smt solverQuizá libre de nuevo @CatarinaGamboa la tomó hace 116 días y no hay ningún pull request abierto. Abiertoenhancement
liquid-java/liquidjava#240 · 1 asignado ·
-
enhancement ide
Dificultad 3/5 1-2 días Aptitud para principiantes 45/100
liquid-java/liquidjava#206 ·
Todos los issues de liquid-java/liquidjava
Issues similares
-
and-bugs and-ui gpx-track
Dificultad 2/5 1-3 horas Aptitud para principiantes 86/100
Los mantenedores suelen responder en 2 días
-
TerminalRow.mSpaceUsed (short) overflows on terminals wider than 1023 columns, crashing setCharAbierto
Dificultad 2/5 1-3 horas Aptitud para principiantes 88/100
termux/termux-app#5340 ·
Los mantenedores suelen responder en 1 día
-
OpenAICompatibleToolDescriptorSchemaGenerator drops requiredProperties of nested object parametersAbierto
Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100
Los mantenedores suelen responder en 7 días
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 86/100
apache/rocketmq-dashboard#5110 ·
Los mantenedores suelen responder en 1 día
-
frontend
Dificultad 2/5 1-3 horas Aptitud para principiantes 88/100
No-Country-simulation/S08-26-equipo04#210 ·
Los mantenedores suelen responder en 1 día