hyperlight-dev / hyperlight-dev/hyperlight
Run tests with MIRI
Abierto
area/security
area/testing
lifecycle/confirmed
- Lenguaje dominante
- Rust
- Estrellas
- 4.7k
- Forks
- 208
- Merge medio
- 1 d 7 h
- PR fusionados (30 d)
- 48
Descripción
We should run tests using [MIRI](https://github.com/rust-lang/miri) to help catch undefined behaviour.
Guía de contribución
Línea de trabajo
Comienza revisando la configuración existente de tests y CI del repositorio; después, consulta el proyecto MIRI enlazado para determinar cómo se puede ejecutar esta suite de tests de Rust con MIRI. Se considera terminado cuando los tests relevantes se ejecuten correctamente con MIRI y cualquier hallazgo de comportamiento indefinido esté documentado o corregido.
Escrito por el modelo de indexación a partir del texto del issue.
Evaluación
- Stack tecnológico
- rust
- Área
- testing-qa
- Tipo de issue
- Nueva funcionalidad
- Dificultad
- 4/5
- Tiempo estimado
- 3-5 días
- Estado de actividad
- Estancado
- Claridad
- Necesita aclaración
- Aptitud para principiantes
- 25/100