mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Update documentation for miri-script test changes

Browse Source
This commit is contained in:
Ross Smyth 2024-05-08 16:37:48 -04:00
parent 6e564ed9fd
commit 620bf348e1
2 changed files with 5 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
src/tools/miri/CONTRIBUTING.md
View File

@ -72,14 +72,13 @@ For example:
You can (cross-)run the entire test suite using: You can (cross-)run the entire test suite using:
``` ```sh
./miri test ./miri test --target i686-unknown-linux-gnu
MIRI_TEST_TARGET=i686-unknown-linux-gnu ./miri test
``` ```
`./miri test FILTER` only runs those tests that contain `FILTER` in their filename (including the `./miri test FILTER` only runs those tests that contain `FILTER` in their filename (including the
base directory, e.g. `./miri test fail` will run all compile-fail tests). These filters are passed base directory, e.g. `./miri test fail` will run all compile-fail tests). Multiple filters
to `cargo test`, so for multiple filters you need to use `./miri test -- FILTER1 FILTER2`. are supported: `./miri test FILTER1 FILTER2`.
#### Fine grained logging #### Fine grained logging

2
src/tools/miri/README.md
View File

@ -464,7 +464,7 @@ by all intended entry points, i.e. `cargo miri` and `./miri {test,run}`):
setup -- only set this if you do not want to use the automatically created sysroot. When invoking setup -- only set this if you do not want to use the automatically created sysroot. When invoking
`cargo miri setup`, this indicates where the sysroot will be put. `cargo miri setup`, this indicates where the sysroot will be put.
* `MIRI_TEST_TARGET` (recognized by `./miri {test,run}`) indicates which target * `MIRI_TEST_TARGET` (recognized by `./miri {test,run}`) indicates which target
architecture to test against. `miri` and `cargo miri` accept the `--target` flag for the same architecture to test against. The `--target` flag may be used for the same
purpose. purpose.
* `MIRI_TEST_THREADS` (recognized by `./miri test`): set the number of threads to use for running tests. * `MIRI_TEST_THREADS` (recognized by `./miri test`): set the number of threads to use for running tests.
By default, the number of cores is used. By default, the number of cores is used.