summary refs log tree commit diff
path: root/src/tools/miri/tests/pass
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-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-37/+18
2024-03-10fmtThe Miri Cronjob Bot-12/+4
2024-03-10Merge from rustcThe Miri Cronjob Bot-0/+123
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-9/+5
2024-03-09miri: do not apply aliasing restrictions to Box with custom allocatorRalf Jung-0/+123
2024-03-09compiletest: create fresh tempdir for tests to useRalf Jung-1/+1
2024-03-08Merge from rustcThe Miri Cronjob Bot-0/+4
2024-03-06Add advice for failing `shims/fs.rs` miri testMaybe Waffle-0/+4
2024-03-06Auto merge of #3340 - RalfJung:no-disable-abi-check, r=oli-obkbors-26/+0
2024-03-04give macOS even more time to sleepRalf Jung-10/+17
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-02remove the ability to disable ABI checkingRalf Jung-26/+0
2024-03-02print thread name in miri error backtracesRalf Jung-0/+1
2024-02-27Merge from rustcThe Miri Conjob Bot-18/+6
2024-02-27Auto merge of #121655 - matthiaskrgr:rollup-qpx3kks, r=matthiaskrgrbors-1/+1
2024-02-27Rollup merge of #121598 - RalfJung:catch_unwind, r=oli-obkMatthias Krüger-1/+1
2024-02-26Auto merge of #121516 - RalfJung:platform-intrinsics-begone, r=oli-obkbors-17/+5
2024-02-26rename 'try' intrinsic to 'catch_unwind'Ralf Jung-1/+1
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-12/+11
2024-02-25Auto merge of #121579 - RalfJung:miri, r=RalfJungbors-15/+52
2024-02-25fix use of platform_intrinsics in testsRalf Jung-17/+5
2024-02-23Get rid of some `#[allow(static_mut_refs)]`Pavel Grigorenko-12/+11
2024-02-22fmtThe Miri Conjob Bot-1/+2
2024-02-22Merge from rustcThe Miri Conjob Bot-13/+13
2024-02-21rename ptr::invalid -> ptr::without_provenanceRalf Jung-13/+13
2024-02-21Test windows random shimsChris Denton-0/+41
2024-02-19Auto merge of #3307 - RalfJung:macos-unreliable, r=RalfJungbors-3/+3
2024-02-19tests/pass/concurrency/sync: try to make it less likely for the test to fail ...Ralf Jung-3/+3
2024-02-19enable from_bitmask_vector test on little-endian targetsRalf Jung-9/+5
2024-02-19Merge from rustcThe Miri Conjob Bot-4/+4
2024-02-18fmtThe Miri Conjob Bot-2/+1
2024-02-18Improve wording of static_mut_refObei Sideg-4/+4
2024-02-17Auto merge of #121232 - RalfJung:miri, r=RalfJungbors-7/+1300
2024-02-17Merge from rustcThe Miri Conjob Bot-1/+1
2024-02-17Enable `ConstPropLint` for promotedsGurinder Singh-1/+6