Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Miri tests: use xargo to build separate libstd #63162

Merged
merged 11 commits into from
Aug 9, 2019
Merged

Miri tests: use xargo to build separate libstd #63162

merged 11 commits into from
Aug 9, 2019

Commits on Aug 8, 2019

  1. bootstrap: get rid of TEST_MIRI env var

    @RalfJung
    RalfJung committed Aug 8, 2019
    Configuration menu
    Copy the full SHA
    c4a654d View commit details
    Browse the repository at this point in the history

  2. simplify a match

    @RalfJung
    RalfJung committed Aug 8, 2019
    Configuration menu
    Copy the full SHA
    ffb5f18 View commit details
    Browse the repository at this point in the history

  3. Miri test: call 'cargo miri test' and use the sysroot it has set up

    @RalfJung
    RalfJung committed Aug 8, 2019
    Configuration menu
    Copy the full SHA
    78b6580 View commit details
    Browse the repository at this point in the history

  4. remove test-miri flag from bootstrap

    @RalfJung
    RalfJung committed Aug 8, 2019
    Configuration menu
    Copy the full SHA
    946bed8 View commit details
    Browse the repository at this point in the history

  5. more comments

    @RalfJung
    RalfJung committed Aug 8, 2019
    Configuration menu
    Copy the full SHA
    2d49118 View commit details
    Browse the repository at this point in the history

  6. remove test-miri from config.toml.example

    @RalfJung
    RalfJung committed Aug 8, 2019
    Configuration menu
    Copy the full SHA
    295f894 View commit details
    Browse the repository at this point in the history

  7. dont test Miri by default (also be more verbose when being verbose)

    @RalfJung
    RalfJung committed Aug 8, 2019
    Configuration menu
    Copy the full SHA
    ceda774 View commit details
    Browse the repository at this point in the history

  8. let us try to find out where that panic is coming from

    @RalfJung
    RalfJung committed Aug 8, 2019
    Configuration menu
    Copy the full SHA
    05aa983 View commit details
    Browse the repository at this point in the history

  9. install and use xargo inside the build dir

    @RalfJung
    RalfJung committed Aug 8, 2019
    Configuration menu
    Copy the full SHA
    03de7fd View commit details
    Browse the repository at this point in the history

  10. don't set RUSTC_DEBUG_ASSERTIONS here; let cargo-miri do that

    @RalfJung
    RalfJung committed Aug 8, 2019
    Configuration menu
    Copy the full SHA
    82b3b82 View commit details
    Browse the repository at this point in the history

  11. update miri

    @RalfJung
    RalfJung committed Aug 8, 2019
    Configuration menu
    Copy the full SHA
    e6be1d7 View commit details
    Browse the repository at this point in the history