Investigate conformance tests running out of memory.
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 4/5
- Tempo stimato
- 3-5 giorni
- Idoneità per principianti
- 35/100
Direzione di ricerca
Inizia individuando i test di conformità ignorati e il percorso dell’interprete responsabile della loro esecuzione. Indaga sulla perdita di memoria segnalata e determina quale modifica impedisce ai test di esaurire la memoria; il lavoro è completato quando i test di conformità possono essere eseguiti senza errori OOM.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
These are skipped for now. There is a memory leak in the interpreter, causing OOM errors.
Originally posted by @anvacaru in https://github.com/runtimeverification/evm-semantics/pull/2831#discussion_r2623499973
- 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 30/100
runtimeverification/evm-semantics#2824 ·
-
Symbolic Execution Slowdown with Summary RulesForse di nuovo libera @Stevengre l’ha presa 442 giorni fa e non c’è nessuna pull request aperta. Aperta
runtimeverification/evm-semantics#2789 · 1 assegnatario ·
Tutte le issue di runtimeverification/evm-semantics
Issue simili
-
clang:frontend code-cleanup HLSL
Difficoltà 2/5 1-3 ore Idoneità per principianti 74/100
llvm/llvm-project#235100 · 1 commento ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 76/100
paritytech/polkavm#442 ·
-
policy-compiler
Difficoltà 2/5 1-3 ore Idoneità per principianti 67/100
aranya-project/aranya-core#861 · 3 commenti ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 83/100
objectionary/phino#2075 ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
rescript-lang/rescript#8996 ·
I maintainer di solito rispondono entro 1 giorno