about summary refs log tree commit diff
path: root/src/tools/miri/test-cargo-miri
AgeCommit message (Collapse)AuthorLines
2025-05-17fix for doctest-xcompile stabilizationRalf Jung-34/+16
2025-04-04bump parts of test-cargo-miri to edition 2024Ralf Jung-44/+59
2025-04-03test-cargo-miri: permissive provenance should not be needed any moreRalf Jung-7/+2
2025-01-22fix no-std-smoke testRalf Jung-0/+1
2025-01-21remove support for the #[start] attributeRalf Jung-3/+2
2024-09-29let rustfmt format importsRalf Jung-2/+2
2024-09-21fmt (with a huge diff for some reason)Ralf Jung-3/+3
2024-07-04Run tests for all specified targetsKonstantinos Andrikopoulos-2/+40
Currently cargo-miri uses the first target specified in the command line. However, when multiple targets are specified in a `cargo build` invocation, cargo will build for all of them. Miri should match this behaviour to reduce surprises. Fixes: #3460
2024-05-30add a commentRalf Jung-0/+2
2024-05-29add tests for local crate detectionPaul Gey-1/+17
2024-05-09make RUSTC_BLESS entirely an internal thingRalf Jung-1/+2
2024-05-09make MIRI_TEST_TARGET entirely an internal thingRalf Jung-4/+10
2024-05-01no longer strip `Preparing a sysroot` message from test outputPaul Gey-5/+1
2024-04-16bless test-cargo-miriRalf Jung-11/+11
2024-03-31python: fix regex backslash escapesRalf Jung-2/+2
2024-03-26update the remaining test-cargo-miri dependencies as well (while we are at it)Ralf Jung-11/+11
2024-03-26update proc-macro2Ralf Jung-2/+2
2024-03-26rename our proc-macro test crate to a more clear nameRalf Jung-45/+20
and remove serde_derive, since the --extern .so file was really just a consequence of building a proc macro
2024-03-26test-cargo-miri: add proc-macro2 instead of anyhowRalf Jung-11/+6
2024-03-26add eyre to test-cargo-miriRalf Jung-0/+25
2024-03-25test-cargo-miri: test anyhowRalf Jung-0/+10
2024-03-20run full mono-item collection on all MIRI_BE_RUSTC=target buildsRalf Jung-4/+22
this fixes compile_fail doctests with post-mono errors
2024-03-06Stabilize `imported_main`clubby789-2/+0
2023-12-05remove unnecesary `-Zunstable-options`Weihang Lo-1/+1
AFAIK `-Zunstable-options` is for `cargo --config` CLI, which was stabilized in 1.63 https://doc.rust-lang.org/nightly/cargo/reference/unstable.html#config-cli
2023-08-22respect CARGO_EXTRA_FLAGS in more placesRalf Jung-1/+3
2023-08-22bump serdeRalf Jung-10/+9
2023-08-20pin a version of serde without intransparent unreproducible binary blobsRalf Jung-1/+3
2023-07-26Unite bless environment variables under `RUSTC_BLESS`Trevor Gross-2/+3
Currently, Clippy, Miri, Rustfmt, and rustc all use an environment variable to indicate that output should be blessed, but they use different variable names. In order to improve consistency, this patch applies the following changes: - Emit `RUSTC_BLESS` within `prepare_cargo_test` so it is always available - Change usage of `MIRI_BLESS` in the Miri subtree to use `RUSTC_BLESS` - Change usage of `BLESS` in the Clippy subtree to `RUSTC_BLESS` - Change usage of `BLESS` in the Rustfmt subtree to `RUSTC_BLESS` - Adjust the blessable test in `rustc_errors` to use this same convention - Update documentation where applicable Any tools that uses `RUSTC_BLESS` should check that it is set to any value other than `"0"`.
2023-06-20Delete use of proc_macro_span_shrink from proc-macro2David Tolnay-2/+2
2023-06-16Apply changes to fix python linting errorsTrevor Gross-6/+14
2023-05-13cargo-miri: fix forwarding arguments to cargoRalf Jung-1/+2
2023-05-05ensure that the proc_macro crate exists in the sysrootRalf Jung-1/+12
2023-02-24Use pointers to `c_char` instead of `i8` in `miri_host_to_target_path`LevitatingLion-9/+9
This makes sure that the interface of `miri_host_to_target_path` is compatible with `CStr` for targets where `c_char` is unsigned (such as ARM). This commit changes the signature of `miri_host_to_target_path` in the README and in all test cases.
2022-12-28bump dependenciesRalf Jung-10/+10
2022-12-12make unix path handling on Windows hosts preserve absolutenessRalf Jung-13/+70
2022-11-26update lockfileRalf Jung-4/+0
2022-11-25Test a small cargo-miri smoke test even in `run_tests_minimal`Nilstrieb-0/+60
This makes sure that cargo-miri works on all targets.
2022-11-20make miri-seed a regular integer, and also set layout-seed in many-seedsRalf Jung-1/+1
2022-10-09cargo got fixed, re-bless its testsRalf Jung-10/+5
2022-10-08bless cargo-miri outputRalf Jung-6/+14
I think cargo has a bug here: https://github.com/rust-lang/cargo/issues/11191 but for now we bless its output so that we can keep CI green
2022-10-02cargo updateRalf Jung-10/+10
2022-09-21Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573'Oli Scherer-0/+862
git-subtree-dir: src/tools/miri git-subtree-mainline: 3f3167fb59341ac3240ca1774f48e8c053219131 git-subtree-split: 75dd959a3a40eb5b4574f8d2e23aa6efbeb33573