Improved interpreter error messages for quicker error identification
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 5/5
- Tempo stimato
- Più di una settimana
- Idoneità per principianti
- 25/100
- Tipo di issue
- Funzionalità
- Chiarezza
- Da chiarire
- Stato di attività
- Ferma
- Ambito
- compilers, developer-experience
Direzione di ricerca
Start with the krun command and the K tools documentation linked in the issue; inspect how the interpreter reports temporary input and result.kore paths. Done means errors provide enough rewrite-progress and stored Kore information to identify failures without rerunning the full depth run.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
- When the interpreter takes a long time without producing results, I’m unsure where it is in the rewrite process and if there are any issues. Plus, after an error, I have to rerun everything from the beginning. I wrote a script to execute 1000 depth runs continuously to quickly identify problems.
- Regarding error messages like these, there’s no default saving of temporary files, so I have to rerun to find out. The stored information is in Kore, which needs to be pretty-printed to understand its meaning better. It would be great if it could be directly bound to the error messages. I feel that most issues arise from Map-related problems and incomplete coverage of conditions in function rules.
[Error] krun: .build/ukm-testing-kompiled/interpreter
/tmp/.krun-2024-10-11-23-11-32-E5cpgVDb9R/tmp.in.RcBlduf0fG 700
/tmp/.krun-2024-10-11-23-11-32-E5cpgVDb9R/result.kore
Debugging might be quite complex and may not allow for quick error tracking.
information: https://kframework.org/docs/ktools/"
- 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 98 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 104 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 124 giorni fa e non c’è nessuna pull request aperta. Aperta
runtimeverification/k#4924 · 1 assegnatario ·
Tutte le issue di runtimeverification/k
Issue simili
-
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 72/100
letsencrypt/cp-cps#353 ·
-
Marble Madness II is missingAperta
Difficoltà 2/5 1-3 ore Idoneità per principianti 68/100
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 84/100
PedestrianDynamics/pyFDS-Evac#394 ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 78/100
DOI-USGS/pywatershed#421 ·
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 78/100
python-pillow/Pillow#10087 · 1 commento ·
I maintainer di solito rispondono entro 1 giorno