Skip to content

Add a directive to control the expected exit code for compilation #356

@RalfJung

Description

@RalfJung

Currently, the expected exit-status for compilation seems to be hard-coded. The exist status for running the program can be controlled via @run:100, but in Miri we don't run the program (not in the way ui test thinks, anyway), so this does not help us there.

Or maybe the better fix is to make it so that in the Miri test suite, ui_test skips the "compile" part and considers invoking Miri to be the actual "run" step?

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions