about summary refs log tree commit diff
path: root/src/tools/miri/tests/pass/concurrency
AgeCommit message (Collapse)AuthorLines
2025-09-02account for aarch64 windows oversleepingRalf Jung-1/+2
2025-04-29add -Zmiri-deterministic-concurrency flag and use it for concurrency testsRalf Jung-5/+6
2025-04-29Added random schedulinggeetanshjuneja-5/+5
2024-10-21move strict provenance lints to new feature gate, remove old feature gatesRalf Jung-1/+0
2024-10-13rework threadname test for more consistencyRalf Jung-0/+13
2024-09-30Auto merge of #131036 - RalfJung:miri-sync, r=RalfJungbors-3/+3
Miri subtree update r? `@ghost`
2024-09-29let rustfmt format importsRalf Jung-3/+3
2024-09-28Further clarificarion for atomic and UnsafeCell docs:Ralf Jung-0/+17
- UnsafeCell: mention the term "data race", and reference the data race definition - atomic: failing RMWs are just reads, reorder and reword docs
2024-09-28allow mixed-size atomic readsRalf Jung-0/+21
2024-09-28miri: no longer complain about read-read racesRalf Jung-1/+37
2024-09-16Bump ui testOli Scherer-1/+1
2024-09-10miri: treat non-memory local variables properly for data race detectionRalf Jung-1/+33
2024-05-04freebsd: test std threadname and fs APIsRalf Jung-0/+0
also reorder foreign_items to fix the grouping, and reorder the tests_minimal invocations to be more consistent
2024-04-18when reusing an address, most of the time only reuse from the current threadRalf Jung-0/+3
2024-04-18when an address gets reused, establish a happens-before link in the data ↵Ralf Jung-0/+60
race model
2024-03-04give macOS even more time to sleepRalf Jung-10/+17
2024-03-03move thread-panic tests to their own file; test getting the thread nameRalf Jung-24/+21
2024-02-19tests/pass/concurrency/sync: try to make it less likely for the test to fail ↵Ralf Jung-3/+3
on macOS
2024-02-12also test pthread_mutex/rwlock directlyRalf Jung-6/+21
turns out one of the synchronizations in rwlock_writer_unlock is unnecessary
2023-12-25have windows tests use windows-sysDrMeepster-541/+0
2023-11-30give macOS some extra time, it needs thatRalf Jung-1/+1
2023-11-12more consistent naming for TLS testsRalf Jung-385/+0
2023-11-12allow allocations referenced by main thread TLS to leakmax-heller-0/+21
2023-10-24fix error read-read reporting when there's also an unsynchronized non-atomic ↵Ralf Jung-0/+18
read (which is fine)
2023-07-29Change default panic handler message format.Mara Bos-2/+4
2023-05-08port tests to 2021 editionRalf Jung-8/+33
2023-05-08print how long the measured sleep time actually was on test failureRalf Jung-2/+4
2023-05-08increase timing slack for sync testsRalf Jung-4/+6
2023-05-05clearer variable names in data_raceRalf Jung-4/+2
2023-03-19Update the virtual clock in isolation mode to step forward with around the ↵Oli Scherer-2/+2
same speed as the host system.
2023-03-16TB: select tests to run both TB and SBNeven Villani-0/+34
2023-01-09add dtors_in_dtors_in_dtorsRalf Jung-0/+57
2022-11-28add scoped thread testRalf Jung-0/+24
2022-11-05fix shared behavior and add testsDrMeepster-0/+287
2022-11-05impl condvars for windowsDrMeepster-17/+4
2022-11-03clarify no_data_race_after_complete testDrMeepster-2/+2
2022-10-30add acquire when init once is already completeDrMeepster-0/+38
2022-10-28relative futex and condvar timeouts can work with isolationRalf Jung-0/+12
2022-10-28test most sync primitives on WindowsRalf Jung-5/+16
2022-10-28implement thread parking on WindowsRalf Jung-2/+0
2022-10-28update ignore-windows commentsRalf Jung-2/+2
2022-10-20add test for init onceDrMeepster-0/+144
2022-09-21Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573'Oli Scherer-0/+1215
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-07-04 09:10:15 +0000