hyperlight-dev / hyperlight-dev/hyperlight

Run tests with MIRI

Ouverte
#185 0 commentaires 0 réactions 0 personnes assignées Voir sur GitHub
area/security area/testing lifecycle/confirmed
Langage dominant
Rust
Étoiles
4.7k
Forks
208
Merge moyen
1 j 7 h
PR mergées (30 j)
47

Description

We should run tests using [MIRI](https://github.com/rust-lang/miri) to help catch undefined behaviour.

Guide de contribution

Ouvrir le guide de contribution

Évaluation

Cette issue n'a pas encore été évaluée.

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.