Zannick/logic-graph

Tests: add "todo" field that skips all other locations

Aperta

#47 aperta il 22 mar 2023

Vedi su GitHub
 (0 commenti) (0 reazioni) (0 assegnatari)Rust (0 fork)auto 404
good first issuehelp wanted

Metriche repository

Star
 (4 stelle)
Metriche merge PR
 (Metriche PR in attesa)

Descrizione

This will be helpful for the eventually type of tests, to restrict where the search can go to the objective. It might be unhelpful for eventually_requires, though.

Guida contributor

Direzione di ricerca
Definire un campo 'todo' nella struttura di test e modificare il test runner per saltare tutte le altre posizioni quando è impostato.
Tech stack
rust
Dominio
backend
Tipo issue
Funzionalità
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
2
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-3 ore
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Nuova
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Abbastanza chiara
Prerequisiti
GitRust
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
60