Skip to content

Rudra in CI #11

New issue
New issue
Open
Open
Rudra in CI#11
Labels
enhancementNew feature or requestunresolved
@Luro02

Description

@Luro02
Luro02
opened on Aug 21, 2021

Additionally, to miri one could run this in CI to check for undefined behaviour:
https://github.com/sslab-gatech/Rudra

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementNew feature or requestunresolved

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions