Skip to content

Run tests with MIRI #185

Open
Enhancement
Open
Run tests with MIRI#185
Enhancement
Labels
area/securityInvolves security-related changes or fixesarea/testingRelated to tests or testing infrastructurelifecycle/confirmedBug is verified or proposal seems reasonable
Milestone
Backlog

Description

@danbugs
danbugs
opened on Jan 29, 2025

We should run tests using MIRI to help catch undefined behaviour.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    area/securityInvolves security-related changes or fixesarea/testingRelated to tests or testing infrastructurelifecycle/confirmedBug is verified or proposal seems reasonable

    Type

    Enhancement

    Projects

      Milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions