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

Redo cargo-miri logic #1540

Merged
merged 29 commits into from
Sep 17, 2020
Merged

Redo cargo-miri logic #1540

merged 29 commits into from
Sep 17, 2020

Commits on Sep 17, 2020

  1. canonicalize miri's directory

    @RalfJung
    RalfJung committed Sep 17, 2020
    Configuration menu
    Copy the full SHA
    2b3b83e View commit details
    Browse the repository at this point in the history

  2. towards letting cargo do binary selection: wrappers and runners set up

    @RalfJung
    RalfJung committed Sep 17, 2020
    Configuration menu
    Copy the full SHA
    16afe1a View commit details
    Browse the repository at this point in the history

  3. stub JSON information flow from cargo-build-time to run-time

    @RalfJung
    RalfJung committed Sep 17, 2020
    Configuration menu
    Copy the full SHA
    e2119dc View commit details
    Browse the repository at this point in the history

  4. it actually runs tests now!

    @RalfJung
    RalfJung committed Sep 17, 2020
    Configuration menu
    Copy the full SHA
    7ee2729 View commit details
    Browse the repository at this point in the history

  5. patch --extern and --emit; test suite passes now!

    @RalfJung
    RalfJung committed Sep 17, 2020
    Configuration menu
    Copy the full SHA
    c41a039 View commit details
    Browse the repository at this point in the history

  6. test respecting 'test=false', and what happens with doctests

    @RalfJung
    RalfJung committed Sep 17, 2020
    Configuration menu
    Copy the full SHA
    ee7d589 View commit details
    Browse the repository at this point in the history

  7. update docs, and also use MIRIFLAGS for the test suite

    @RalfJung
    RalfJung committed Sep 17, 2020
    Configuration menu
    Copy the full SHA
    9a9988a View commit details
    Browse the repository at this point in the history

  8. fix typo 

    Co-authored-by: Oli Scherer <[email protected]>
    @RalfJung @oli-obk
    RalfJung and oli-obk committed Sep 17, 2020
    Configuration menu
    Copy the full SHA
    0019fe2 View commit details
    Browse the repository at this point in the history

  9. even when not linking, create stub .rlib files to fool cargo

    @RalfJung
    RalfJung committed Sep 17, 2020
    Configuration menu
    Copy the full SHA
    147330c View commit details
    Browse the repository at this point in the history

  10. make our filename handling work better across platforms

    @RalfJung
    RalfJung committed Sep 17, 2020
    Configuration menu
    Copy the full SHA
    53eab71 View commit details
    Browse the repository at this point in the history

  11. handle binary suffices (for Windows); stop deleting fake binary

    @RalfJung
    RalfJung committed Sep 17, 2020
    Configuration menu
    Copy the full SHA
    c793d60 View commit details
    Browse the repository at this point in the history

  12. fix Miri script on macOS

    @RalfJung
    RalfJung committed Sep 17, 2020
    Configuration menu
    Copy the full SHA
    10f58b3 View commit details
    Browse the repository at this point in the history

  13. forward build-time env vars to binary, and test that we do

    @RalfJung
    RalfJung committed Sep 17, 2020
    Configuration menu
    Copy the full SHA
    119bf4d View commit details
    Browse the repository at this point in the history

  14. patch away --error-format and --json so that errors are rendered prop… 

    …erly
    @RalfJung
    RalfJung committed Sep 17, 2020
    Configuration menu
    Copy the full SHA
    74fdb5c View commit details
    Browse the repository at this point in the history

  15. test reading from stdin

    @RalfJung
    RalfJung committed Sep 17, 2020
    Configuration menu
    Copy the full SHA
    504c617 View commit details
    Browse the repository at this point in the history

  16. update comment 

    Co-authored-by: Oli Scherer <[email protected]>
    @RalfJung @oli-obk
    RalfJung and oli-obk committed Sep 17, 2020
    Configuration menu
    Copy the full SHA
    ba3b354 View commit details
    Browse the repository at this point in the history

  17. show proper warning about not running doctests

    @RalfJung
    RalfJung committed Sep 17, 2020
    Configuration menu
    Copy the full SHA
    2205ed5 View commit details
    Browse the repository at this point in the history

  18. fix cargo-miri-test for cross-runs

    @RalfJung
    RalfJung committed Sep 17, 2020
    Configuration menu
    Copy the full SHA
    93bedd0 View commit details
    Browse the repository at this point in the history

  19. detect when the user passes Miri's flags the old way, and support thi… 

    …s for now
    @RalfJung
    RalfJung committed Sep 17, 2020
    Configuration menu
    Copy the full SHA
    174a92c View commit details
    Browse the repository at this point in the history

  20. test 'harness=false' tests

    @RalfJung
    RalfJung committed Sep 17, 2020
    Configuration menu
    Copy the full SHA
    33c6696 View commit details
    Browse the repository at this point in the history

  21. test propagating env vars from build.rs to binary

    @RalfJung
    RalfJung committed Sep 17, 2020
    Configuration menu
    Copy the full SHA
    113a335 View commit details
    Browse the repository at this point in the history

  22. test 'cargo miri run' CWD, also for subcrate in a workspace

    @RalfJung
    RalfJung committed Sep 17, 2020
    Configuration menu
    Copy the full SHA
    c99fb10 View commit details
    Browse the repository at this point in the history

  23. make sure subcrate tests have the right cwd

    @RalfJung
    RalfJung committed Sep 17, 2020
    Configuration menu
    Copy the full SHA
    b244a2d View commit details
    Browse the repository at this point in the history

  24. cleaner output for cargo-miri-test harness

    @RalfJung
    RalfJung committed Sep 17, 2020
    Configuration menu
    Copy the full SHA
    192b535 View commit details
    Browse the repository at this point in the history

  25. more consistent error capitalization

    @RalfJung
    RalfJung committed Sep 17, 2020
    Configuration menu
    Copy the full SHA
    f7612f7 View commit details
    Browse the repository at this point in the history

  26. make (not yet actually used) doctest actually use the crate, and fix … 

    …a comment
    @RalfJung
    RalfJung committed Sep 17, 2020
    Configuration menu
    Copy the full SHA
    18483b4 View commit details
    Browse the repository at this point in the history

  27. make sure tests pass even with RUST_TEST_NOCAPTURE set

    @RalfJung
    RalfJung committed Sep 17, 2020
    Configuration menu
    Copy the full SHA
    05f5c3d View commit details
    Browse the repository at this point in the history

  28. test-cargo-miri: normalize slashes before comparing paths

    @RalfJung
    RalfJung committed Sep 17, 2020
    Configuration menu
    Copy the full SHA
    db067f4 View commit details
    Browse the repository at this point in the history

  29. add comment mentioning alternative approach

    @RalfJung
    RalfJung committed Sep 17, 2020
    Configuration menu
    Copy the full SHA
    ae859c3 View commit details
    Browse the repository at this point in the history