summary refs log tree commit diff
path: root/src/tools/miri/tests
AgeCommit message (Expand)AuthorLines
2024-03-15Merge from rustcRalf Jung-1/+1
2024-03-14Auto merge of #3379 - RalfJung:time-with-isolation, r=saethlinbors-10/+14
2024-03-14explain time-with-isolation test betterRalf Jung-10/+14
2024-03-14Merge from rustcThe Miri Cronjob Bot-2/+18
2024-03-14update virtual clock in miri test since signed loops now execute more methodsThe 8472-1/+1
2024-03-13Auto merge of #122240 - RalfJung:miri-addr-reuse, r=oli-obkbors-2/+18
2024-03-12Auto merge of #3370 - RalfJung:windows-sync, r=RalfJungbors-286/+0
2024-03-12Merge from rustcThe Miri Cronjob Bot-4/+76
2024-03-11Rollup merge of #122249 - RalfJung:machine-read-hook, r=oli-obkJubilee-0/+62
2024-03-10test into_boxed_slice with custom allocator in MiriRalf Jung-4/+14
2024-03-10Auto merge of #122246 - RalfJung:miri, r=RalfJungbors-136/+69
2024-03-10fmtThe Miri Cronjob Bot-12/+4
2024-03-10Merge from rustcThe Miri Cronjob Bot-0/+123
2024-03-09windows: remove support for slim rwlockRalf Jung-286/+0
2024-03-09interpret: do not call machine read hooks during validationRalf Jung-0/+62
2024-03-09miri: add some chance to reuse addresses of previously freed allocationsRalf Jung-2/+18
2024-03-09simplify no-std testsRalf Jung-17/+9
2024-03-09miri: do not apply aliasing restrictions to Box with custom allocatorRalf Jung-0/+123
2024-03-09rename tests/compiletest → tests/uiRalf Jung-1/+1
2024-03-09compiletest: create fresh tempdir for tests to useRalf Jung-15/+30
2024-03-08Merge from rustcThe Miri Cronjob Bot-1/+7
2024-03-06Add advice for failing `shims/fs.rs` miri testMaybe Waffle-0/+4
2024-03-06Make `x t miri` respect `MIRI_TEMP`Maybe Waffle-1/+3
2024-03-06Auto merge of #3340 - RalfJung:no-disable-abi-check, r=oli-obkbors-111/+5
2024-03-04give macOS even more time to sleepRalf Jung-10/+17
2024-03-04linux-futex test: add commentRalf Jung-0/+1
2024-03-04disable diagnostic deduplicationRalf Jung-0/+16
2024-03-03Auto merge of #3345 - RalfJung:win-get-thread-name, r=RalfJungbors-27/+100
2024-03-03Windows: support getting the thread nameRalf Jung-3/+49
2024-03-03move thread-panic tests to their own file; test getting the thread nameRalf Jung-24/+51
2024-03-02Tree Borrows: print where the forbidden access happens; make tag tracking les...Ralf Jung-94/+94
2024-03-02remove the ability to disable ABI checkingRalf Jung-111/+5
2024-03-02add option to track all read/write accesses to tracked allocationsRalf Jung-0/+3
2024-03-02print thread name in miri error backtracesRalf Jung-155/+184
2024-02-29add regression testRalf Jung-0/+25
2024-02-27Merge from rustcThe Miri Conjob Bot-63/+35
2024-02-27Auto merge of #121655 - matthiaskrgr:rollup-qpx3kks, r=matthiaskrgrbors-14/+14
2024-02-27Rollup merge of #121598 - RalfJung:catch_unwind, r=oli-obkMatthias Krüger-14/+14
2024-02-26Auto merge of #121516 - RalfJung:platform-intrinsics-begone, r=oli-obkbors-49/+21
2024-02-26miri: rename miri_start_panic → miri_start_unwindRalf Jung-11/+11
2024-02-26rename 'try' intrinsic to 'catch_unwind'Ralf Jung-3/+3
2024-02-26tree borrows: add a test to sb_failsRalf Jung-2/+16
2024-02-26add direct test for new ProcessPrng shimRalf Jung-0/+17
2024-02-25more dealing with macOS being slowRalf Jung-1/+1
2024-02-25Merge from rustcRalf Jung-15/+37
2024-02-25Auto merge of #121579 - RalfJung:miri, r=RalfJungbors-31/+114
2024-02-25fix use of platform_intrinsics in testsRalf Jung-49/+21
2024-02-24compiletest: call cargo-miri directly rather than via 'cargo run'Ralf Jung-10/+7
2024-02-24Rollup merge of #121522 - RalfJung:insert-extract-boundscheck, r=oli-obkMatthias Krüger-0/+23
2024-02-23interpret: do no ICE on OOB shuffle/insert/extract indicesRalf Jung-0/+23