Skip to content

Test unsafe code with miri #1161

@andygrove

Description

@andygrove

What is the problem the feature request solves?

As part of upgrading to DataFusion 44.0.0 (PR), we had to stop running our test suite with miri. This means that we risk introducing undefined behavior when we add or modify unsafe code in Comet.

Describe the potential solution

We should enable miri for specific test suites that test our unsafe code.

Additional context

No response

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementNew feature or request

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions