Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Run tests with MIRI #185

Open
danbugs opened this issue Jan 29, 2025 · 0 comments
Open

Run tests with MIRI #185

danbugs opened this issue Jan 29, 2025 · 0 comments
Labels
area/security Involves securty-related changes or fixes area/testing Related to tests or testing infrastructure lifecycle/confirmed Bug is verified or proposal seems reasonable
Milestone
Backlog

Comments

@danbugs
Copy link
Contributor

danbugs commented Jan 29, 2025

We should run tests using MIRI to help catch undefined behaviour.
@danbugs danbugs added lifecycle/confirmed Bug is verified or proposal seems reasonable area/security Involves securty-related changes or fixes area/testing Related to tests or testing infrastructure labels Jan 29, 2025
@github-actions github-actions bot added the lifecycle/needs-review The issue has not yet been reviewed. label Jan 29, 2025
@danbugs danbugs removed the lifecycle/needs-review The issue has not yet been reviewed. label Jan 29, 2025
@danbugs danbugs added this to the Backlog milestone Mar 4, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
area/security Involves securty-related changes or fixes area/testing Related to tests or testing infrastructure lifecycle/confirmed Bug is verified or proposal seems reasonable
Projects
Hyperlight Milestones
Status: No status
Milestone
Backlog
Development

No branches or pull requests
1 participant
@danbugs