Run _all_ tests under Miri.

Aperta

#103 aperta il 4/8/2021 2 commenti 0 reazioni 1 assegnatario Vedi su GitHub

@xaep ci sta già lavorando.

Dal 20/8/2021.

Valutazione

Questa issue non è ancora stata valutata.

good first issue

Currently, some tests have #[cfg_attr(miri, ignore)] because they call into ring which calls into some assembly.

The best way to deal with this is probably to mock out all of the ring components to do nothing when #[cfg(miri)] holds.

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.

Track error conversion locations using #[track_caller]
Aperta
- Qualcosa non va?
Difficoltà 5/5 Più di una settimana Idoneità per principianti 30/100

lowRISC/manticore#155 · 1 commento · Aperta il 30/3/2022
GetPfmId Could save having to send identifier type when Version
Aperta
- Qualcosa non va?
Difficoltà 2/5 1-3 ore Idoneità per principianti 45/100

lowRISC/manticore#153 · Aperta il 16/12/2021
Add support to for tuple variants with lifetimes in make_fuzz_safe! macro.
Aperta
- Qualcosa non va?
Difficoltà 3/5 1-2 giorni Idoneità per principianti 42/100

lowRISC/manticore#151 · Aperta il 15/11/2021
Use pre-baked manifests for testing `manifest:;Container`
Forse di nuovo libera @mcy l’ha presa 2064 giorni fa e non c’è nessuna pull request aperta. Aperta
- Qualcosa non va?
lowRISC/manticore#61 · 1 assegnatario · Aperta il 2/2/2021
Provide flags structs for `manifest::owned::Pfm`
Forse di nuovo libera @gorup l’ha presa 1760 giorni fa e non c’è nessuna pull request aperta. Aperta
- Qualcosa non va?
lowRISC/manticore#60 · 1 commento · 1 assegnatario · Aperta il 2/2/2021