BurntSushi/bstr

re-enable miri tests

Open

#164 aperta il 5 lug 2023

Vedi su GitHub
 (0 commenti) (0 reazioni) (0 assegnatari)Rust (73 fork)github user discovery
help wanted

Metriche repository

Star
 (1070 star)
Metriche merge PR
 (Merge medio 233g) (9 PR mergiate in 30 g)

Descrizione

I ended up needing to disable Miri tests in CI: https://github.com/BurntSushi/bstr/pull/161/commits/e679e293eb5b8fedafed889b9d300f3be7c52565

It looks like Miri gets stuck whenever it enters regex-automata code. I haven't been able to figure out why. regex-automata itself has Miri running on it in CI (hundreds of tests), so I don't know what's going on.

Guida contributor

Direzione di ricerca
Configura il progetto localmente, esegui i test Miri disabilitati con output dettagliato e traccia il percorso di esecuzione che causa il blocco. Confronta con la configurazione Miri del repository regex automata per identificare le differenze.
Tech stack
rust
Dominio
testing
Tipo issue
Test
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-2 giorni
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Abbastanza chiara
Prerequisiti
RustMiri
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
40