[K-Bug] AssertionError for incomplete rule
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 3/5
- Tiempo estimado
- 1-2 días
- Aptitud para principiantes
- 45/100
Línea de trabajo
Reproduce the failure with kompile a.k using the definition shown in the issue. Start at Outer.offsetLine, following the stack through Outer.makeStringSentence and Outer.Bubble, and inspect how the end-of-stream IOException is handled. Done means incomplete rules produce a reasonable error containing the relevant line and column instead of an AssertionError.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
What component is the issue in?
Front-End
Which command
- kompile
- kast
- krun
- kprove
- kprovex
- ksearch
What K Version?
v7.1.121-0-g894298664c
Operating System
Linux
K Definitions (If Possible)
a.k:
module A
imports INT
rule [my-rule]:
rule 1 => 2
endmodule
Steps to Reproduce
kompile a.k
This produces the following error:
[Error] Internal: Uncaught exception thrown of type AssertionError.
Please rerun your program with the --debug flag to generate a stack trace, and
file a bug report at https://github.com/runtimeverification/k/issues
(AssertionError: did not expect IOException)
If I run kompile with --debug:
java.lang.AssertionError: did not expect IOException
at org.kframework.parser.outer.Outer.offsetLine(Outer.java:270)
at org.kframework.parser.outer.Outer.makeStringSentence(Outer.java:223)
at org.kframework.parser.outer.Outer.Bubble(Outer.java:442)
at org.kframework.parser.outer.Outer.Sentence(Outer.java:749)
at org.kframework.parser.outer.Outer.Module(Outer.java:661)
at org.kframework.parser.outer.Outer.Start(Outer.java:607)
at org.kframework.parser.outer.Outer.parse(Outer.java:79)
at org.kframework.parser.ParserUtils.slurp(ParserUtils.java:117)
at org.kframework.parser.ParserUtils.loadModules(ParserUtils.java:220)
at org.kframework.parser.ParserUtils.loadDefinition(ParserUtils.java:393)
at org.kframework.parser.ParserUtils.loadDefinition(ParserUtils.java:355)
at org.kframework.kompile.DefinitionParsing.parseDefinition(DefinitionParsing.java:308)
at org.kframework.kompile.DefinitionParsing.parseDefinitionAndResolveBubbles(DefinitionParsing.java:231)
at org.kframework.kompile.Kompile.parseDefinition(Kompile.java:389)
at org.kframework.kompile.Kompile.run(Kompile.java:212)
at org.kframework.kompile.KompileFrontEnd.run(KompileFrontEnd.java:91)
at org.kframework.main.FrontEnd.main(FrontEnd.java:60)
at org.kframework.main.Main.runApplication(Main.java:127)
at org.kframework.main.Main.runApplication(Main.java:117)
at org.kframework.main.Main.main(Main.java:58)
Caused by: java.io.IOException: PGCC end of stream
at org.kframework.parser.outer.AbstractCharStream.fillBuff(AbstractCharStream.java:278)
at org.kframework.parser.outer.AbstractCharStream.readChar(AbstractCharStream.java:367)
at org.kframework.parser.outer.Outer.offsetLine(Outer.java:269)
... 19 more
[Error] Internal: Uncaught exception thrown of type AssertionError
(AssertionError: did not expect IOException)
Expected Results
A reasonable error containing the line and column where the error occurred.
- Lenguaje dominante
- Python
- Estrellas
- 591
- Forks
- 163
- Métricas de merge de PR
- Sin PR fusionados en 30 d
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 runtimeverification/k
-
Introduce composable symbolic execution interface in pyxQuizá libre de nuevo @Stevengre la tomó hace 98 días y no hay ningún pull request abierto. Abierto
runtimeverification/k#4939 · 1 asignado ·
-
Concolic ExplorerAbierto
Dificultad 5/5 Más de una semana Aptitud para principiantes 32/100
runtimeverification/k#4937 ·
-
Dificultad 5/5 Más de una semana Aptitud para principiantes 30/100
runtimeverification/k#4936 ·
-
Accelerating all-path reachability proofs with one-path reachability proofsQuizá libre de nuevo @Stevengre la tomó hace 104 días y no hay ningún pull request abierto. Abiertotype:epic
runtimeverification/k#4934 · 4 comentarios · 1 asignado ·
-
Support progressive depth halving as a generic policy in `Prover.advance_proof`Quizá libre de nuevo @Stevengre la tomó hace 124 días y no hay ningún pull request abierto. Abierto
runtimeverification/k#4924 · 1 asignado ·
Todos los issues de runtimeverification/k
Issues similares
-
Dificultad 1/5 Menos de una hora Aptitud para principiantes 72/100
letsencrypt/cp-cps#353 ·
-
Marble Madness II is missingAbierto
Dificultad 2/5 1-3 horas Aptitud para principiantes 68/100
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 84/100
PedestrianDynamics/pyFDS-Evac#394 ·
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100
DOI-USGS/pywatershed#421 ·
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100
python-pillow/Pillow#10087 · 1 comentario ·
Los mantenedores suelen responder en 1 día