Update legacy-tests across test-suites
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 4/5
- Tempo stimato
- 3-5 giorni
- Idoneità per principianti
- 30/100
- Tipo di issue
- Refactoring
- Chiarezza
- Da chiarire
- Stato di attività
- Ferma
- Ambito
- build-system, testing-qa
Direzione di ricerca
Esamina i formati della suite di test legacy e di quella nuova, quindi ispeziona l’harness Nix che le esegue. Conferma quali test legacy sono già coperti e definisci done come la rimozione dell’esecuzione ridondante dei test legacy oppure l’aggiornamento dell’harness per usare il nuovo formato, mantenendo separato qualsiasi lavoro successivo.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
Are tehre any legacy tests that are not covered by the new test-suite already anyway? Maybe we can drop running the legacy tests. Is it just the Nix harness that runs them? We could update th eNix harness to run one of the new formats of tests instead perhaps?
That can be done in follow-up PR if you want, which can then simplify this.
Originally posted by @ehildenb in https://github.com/runtimeverification/evm-semantics/pull/2821#discussion_r2611543699
- Lingua principale
- KCL
- Stelle
- 592
- Fork
- 156
- Merge medio
- 2h 19m
- PR unite (30g)
- 1
Preparare l'ambiente
Non abbiamo ancora controllato i file di configurazione di questo progetto. 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 ·
-
Symbolic Execution Slowdown with Summary RulesForse di nuovo libera @Stevengre l’ha presa 418 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
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 68/100
trezor/trezor-firmware#7997 ·
I maintainer di solito rispondono entro 2 giorni
-
bug
Difficoltà 2/5 1-3 ore Idoneità per principianti 67/100
I maintainer di solito rispondono entro 1 giorno
-
bug good first issue help wanted
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100
score-spec/docs#329 · 1 commento ·
-
Update vtm to 2026.9.28Apertapackage-update
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
oSoWoSo/vOid_Community_repOsitory#207 · 1 commento ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 85/100
vllm-project/vllm-ascend#17784 ·
I maintainer di solito rispondono entro 1 giorno