about summary refs log tree commit diff
path: root/src/tools/miri/tests/compiletest.rs
AgeCommit message (Collapse)AuthorLines
2023-11-16get rid of our last uses of set_varRalf Jung-5/+5
2023-10-15don't UB on dangling ptr deref, instead check inbounds on projectionsRalf Jung-0/+1
2023-10-04auto-detect no_std where possibleRalf Jung-3/+1
2023-09-25fix normalization in backtrace-api testsRalf Jung-3/+1
also remove a normalization rule that doesn't seem to apply
2023-09-25Explain single element vectorOli Scherer-0/+2
2023-09-22Bump ui_test crateOli Scherer-27/+29
2023-09-22Allow limiting the number of threads running in parallelOli Scherer-1/+5
2023-09-22Move `fail` tests that need dependencies into their own folder, so that wasm ↵Oli Scherer-0/+6
tests don't build dependencies
2023-09-22Bump ui test crateOli Scherer-43/+20
2023-08-22respect CARGO_EXTRA_FLAGS in more placesRalf Jung-3/+10
2023-08-04Merge from rustcThe Miri Conjob Bot-0/+1
2023-08-03Add `internal_features` lintNilstrieb-0/+1
It lints against features that are inteded to be internal to the compiler and standard library. Implements MCP #596. We allow `internal_features` in the standard library and compiler as those use many features and this _is_ the standard library from the "internal to the compiler and standard library" after all. Marking some features as internal wasn't exactly the most scientific approach, I just marked some mostly obvious features. While there is a categorization in the macro, it's not very well upheld (should probably be fixed in another PR). We always pass `-Ainternal_features` in the testsuite About 400 UI tests and several other tests use internal features. Instead of throwing the attribute on each one, just always allow them. There's nothing wrong with testing internal features^^
2023-07-31fix oversight from new miri-scriptRalf Jung-1/+1
2023-07-30fmtThe Miri Conjob Bot-1/+1
2023-07-29Auto merge of #114211 - RalfJung:miri, r=RalfJungbors-0/+2
update Miri r? `@ghost`
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-07-26normalize tree borrow diagnostics across targetsRalf Jung-0/+2
2023-07-07Auto merge of #2969 - oli-obk:run-dep, r=RalfJungbors-7/+7
Stop parsing ui_test annotations in `run-dep` mode fixes #2967
2023-07-07MIRIFLAGS are already passed in the `./miri` wrapperOli Scherer-5/+0
2023-07-07Remove a now-useless flagOli Scherer-1/+0
2023-07-07Silence all the boilerplate around `./miri run` and `./miri run-dep`Oli Scherer-1/+0
2023-07-06Stop parsing ui_test annotations in `run-dep` modeOli Scherer-7/+14
2023-07-04Restore test filtering by substring.Oli Scherer-1/+2
Previously it was only looking for tests whose path was a prefix of the given filter
2023-06-29Use a valid `target` directory in miri ui testsOli Scherer-0/+1
2023-06-27Make `--quiet` actually do somethingOli Scherer-3/+10
2023-06-26Update ui test crateOli Scherer-69/+33
2023-06-03miri compiletest: no longer allow some warnings in rustc test suiteRalf Jung-11/+2
2023-05-23Hide full miri command line in `./miri run-dep`Oli Scherer-1/+0
2023-05-12Document arguments and interesting flagsOli Scherer-1/+3
2023-05-12Pass arguments to the interpreted program via `run-dep`Oli Scherer-44/+39
2023-05-11Remove a misleading part of a function nameOli Scherer-3/+3
2023-05-11Stop ignoring the `--manifest-path`Oli Scherer-2/+2
2023-05-11Add `./miri run-dep` for running a file with test dependencies availableOli Scherer-2/+36
2023-05-11Emit the compiler flags againOli Scherer-0/+2
2023-05-09Document some argumentsOli Scherer-0/+2
2023-05-09Separate config building from Miri command buildingOli Scherer-25/+26
2023-05-09Update to latest ui_test crate version.Oli Scherer-11/+62
Also stops using github actions groups that conflict with our groups as github does not nest them
2023-05-08port tests to 2021 editionRalf Jung-1/+1
2023-04-13Auto merge of #2833 - oli-obk:ui_test_bump, r=RalfJungbors-5/+4
Update to new ui_test crate
2023-04-13Update to new ui_test crateOli Scherer-5/+4
2023-04-13compiletest: complain about unknown flagsRalf Jung-0/+12
2023-03-16TB: select tests to run both TB and SBNeven Villani-2/+4
2022-11-08Bump ui testOli Scherer-3/+3
2022-10-19Auto merge of #2322 - saethlin:stack-inspection-tools, r=oli-obkbors-0/+2
Ideas on getting information about borrow stacks during execution From time to time people ask what some borrow stack looks like in some code. I just know that I am terrible at doing Stacked Borrows by hand, so I always toss together something like this. I know that Miri has logging, but I've never found it particularly useful because there's just too much output. Also I personally don't think about exactly what the state of a borrow stack is, but this seems to be something that newcomers to Stacked Borrows always want. Update: This has been sitting as S-waiting-on-author for a long time. I bring it out from time to time to explain Stacked Borrows to people, and just now `@JakobDegen` said > Can we please merge that btw? It's such a valuable teaching tool > Interfaces can be fixed later I'm inclined to trust Jake's judgement here.
2022-10-15Replace tags in stdoutBen Kimock-0/+2
2022-10-14print the target also when running tests on the hostRalf Jung-22/+24
2022-09-24run all extern-so tests consistently without dependenciesRalf Jung-1/+1
2022-09-21Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573'Oli Scherer-0/+220
git-subtree-dir: src/tools/miri git-subtree-mainline: 3f3167fb59341ac3240ca1774f48e8c053219131 git-subtree-split: 75dd959a3a40eb5b4574f8d2e23aa6efbeb33573
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-28 17:56:02 +0000