BurntSushi/bstr

re-enable miri tests

Ouverte

#164 ouverte le 5 juil. 2023

Voir sur GitHub
 (0 commentaire) (0 réaction) (0 personne assignée)Rust (73 forks)github user discovery
help wanted

Métriques du dépôt

Stars
 (1 070 étoiles)
Métriques de merge PR
 (Merge moyen 233j) (9 PRs mergées en 30 j)

Description

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.

Guide contributeur

Direction de recherche
Configurez le projet localement, exécutez les tests Miri désactivés avec une sortie détaillée et tracez le chemin d'exécution qui provoque le blocage. Comparez avec la configuration Miri du dépôt regex automata pour identifier les différences.
Stack technique
rust
Domaine
testing
Type d'issue
Test
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
3
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
1-2 jours
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Active
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Plutôt claire
Prérequis
RustMiri
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
40