[K-Bug] Two configuration declarations in a single module produces an unhelpful error message
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 3/5
- Tempo stimato
- 1-2 giorni
- Idoneità per principianti
- 38/100
- Tipo di issue
- Bug
- Chiarezza
- Abbastanza chiara
- Stato di attività
- Ferma
- Ambito
- compilers
Direzione di ricerca
Start by saving the provided definition as tmp.k and running kompile tmp.k to reproduce the malformed external cell error. Trace the configuration-declaration validation in the kompile front end; done means two declarations in one module produce a clear diagnostic explaining the one-declaration limit and how to resolve it.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
What component is the issue in?
Front-End
Which command
- kompile
- kast
- krun
- kprove
- kprovex
- ksearch
What K Version?
v7.1.170-0-g5c84d48f69
Operating System
Linux
K Definitions (If Possible)
module TMP
imports INT
configuration <extraLocalConfig> 1 </extraLocalConfig>
configuration <mainConfig> <extraLocalConfig/> </mainConfig>
endmodule
Steps to Reproduce
Save above definition to tmp.k and run kompile tmp.k.
An error message of the form below will be emitted:
[Error] Compiler: Malformed external cell in configuration declaration.
Source(/home/stephen/rv/tmp.k)
Location(4,30,4,49)
4 | configuration <mainConfig> <extraLocalConfig/> </mainConfig>
. ^~~~~~~~~~~~~~~~~~~
[Error] Compiler: Had 1 parsing errors.
Expected Results
I expect to get an error that says something like:
A module may only have up to one configuration declaration; please merge the two configuration declarations into one (or) put the two configuration declarations into separate modules.
I just made this on the fly --- there is definitely a better way to word it, but this is just for a start.
- Lingua principale
- Python
- Stelle
- 591
- Fork
- 163
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
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 runtimeverification/k
-
Introduce composable symbolic execution interface in pyxForse di nuovo libera @Stevengre l’ha presa 97 giorni fa e non c’è nessuna pull request aperta. Aperta
runtimeverification/k#4939 · 1 assegnatario ·
-
Concolic ExplorerAperta
Difficoltà 5/5 Più di una settimana Idoneità per principianti 32/100
runtimeverification/k#4937 ·
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 30/100
runtimeverification/k#4936 ·
-
Accelerating all-path reachability proofs with one-path reachability proofsForse di nuovo libera @Stevengre l’ha presa 103 giorni fa e non c’è nessuna pull request aperta. Apertatype:epic
runtimeverification/k#4934 · 4 commenti · 1 assegnatario ·
-
Support progressive depth halving as a generic policy in `Prover.advance_proof`Forse di nuovo libera @Stevengre l’ha presa 123 giorni fa e non c’è nessuna pull request aperta. Aperta
runtimeverification/k#4924 · 1 assegnatario ·
Tutte le issue di runtimeverification/k
Issue simili
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 84/100
PedestrianDynamics/pyFDS-Evac#343 ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 88/100
theskumar/python-dotenv#708 ·
-
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 88/100
I maintainer di solito rispondono entro 2 giorni
-
Docs Timedelta
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
pandas-dev/pandas#69919 ·
I maintainer di solito rispondono entro 1 giorno
-
API documentation
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
zephyrproject-rtos/west#1009 · 2 commenti ·
I maintainer di solito rispondono entro 3 giorni