Skip to content

UAPI: fixing rust miri & kani tests #60

Open
Open
UAPI: fixing rust miri & kani tests#60
Labels
ci-cdCI/CD evolutions and fixestestTest-related fixuapiEvolution of the uapi Rust library
@PThierry

Description

@PThierry
PThierry
opened on Aug 1, 2025

Miri test suite has back_to_back errors, while overall Rust autotesting & unit-testing do pass. To be fixed

Metadata

Metadata

Assignees

No one assigned

    Labels

    ci-cdCI/CD evolutions and fixestestTest-related fixuapiEvolution of the uapi Rust library

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions