Refactor `foundry_get_model` and `print_failure_info`
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 4/5
- Tempo stimato
- 3-5 giorni
- Idoneità per principianti
- 35/100
Direzione di ricerca
Inizia dai punti di ingresso foundry_get_model, print_model e print_failure_info nel codice KEVM, quindi confrontali con il print_failure_info di pyk introdotto nel commit 6c28b6613ea058a46fd4f838982a88bc2e957863. Il lavoro è completato quando foundry_get_model restituisce la struttura del modello proposta, la stampa del modello è separata dalla gestione degli errori e KEVM delega la stampa separatamente dalle chiamate RPC.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
As suggested by @tothtamas28, the function foundry_get_model(...) introduced in https://github.com/runtimeverification/evm-semantics/pull/1946 should produce a data structure (maybe FoundryModel | None). Function print_model can be a method on this class (without the "Failed to ..." branch). Function print_failure_info then can be redefined as
def print_failure_info(kprint: KPrint, proof: Proof, *, model: FoundryModel | None = None) -> list[str]:
...
In addition, as suggested by @nwatson22, print_failure_info in KEVM should be further refactored to use the print_failure_info function that was added to pyk to separate the printing from the RPC calls here: https://github.com/runtimeverification/pyk/commit/6c28b6613ea058a46fd4f838982a88bc2e957863.
- Lingua principale
- KCL
- Stelle
- 595
- Fork
- 159
- Merge medio
- 4g 3h
- PR unite (30g)
- 1
Preparare l'ambiente
Questo progetto non fornisce container di sviluppo, Dockerfile né guida per i contributori, quindi l'ambiente è a tuo carico: parti dal suo README e consulta la nostra guida al primo contributo per i passaggi generali.
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/evm-semantics
-
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 78/100
runtimeverification/evm-semantics#1190 ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100
runtimeverification/evm-semantics#2879 ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
runtimeverification/evm-semantics#2869 ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
runtimeverification/evm-semantics#2832 ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 30/100
runtimeverification/evm-semantics#2824 ·
Tutte le issue di runtimeverification/evm-semantics
Issue simili
-
plugin install: the confirmation hint names 'agmsg' even for an install with another --cmd nameAperta
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 82/100
eugenioenko/ttt#1206 ·
I maintainer di solito rispondono entro 1 giorno
-
Remove the Ralph loopApertaagent-ex high-priority tech-debt
Difficoltà 2/5 1-3 ore Idoneità per principianti 68/100
DigiBanks99/menlo#483 ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 67/100
I maintainer di solito rispondono entro 1 giorno
-
Add Flowmingo remote MCP serverForse già presa @nhiyiyi l’ha presa oggi. Apertaneeds-triage
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
stacklok/toolhive-catalog#1784 ·
I maintainer di solito rispondono entro 1 giorno