about summary refs log tree commit diff
path: root/src/tools/miri/tests/pass/shims/env
AgeCommit message (Expand)AuthorLines
2025-04-29add -Zmiri-deterministic-concurrency flag and use it for concurrency testsRalf Jung-1/+1
2025-04-29Added random schedulinggeetanshjuneja-1/+1
2024-09-29let rustfmt format importsRalf Jung-2/+1
2024-05-30make env/var test deterministicRalf Jung-0/+3
2024-05-19make basic things work on AndroidRalf Jung-2/+6
2024-04-26add test for concurrent env var accessRalf Jung-0/+8
2024-04-24windows: basic support for GetUserProfileDirectoryWRalf Jung-1/+1
2024-04-21Add `-Zmiri-env-set` to set environment variables without modifying the host ...Eduardo Sánchez Muñoz-0/+7
2023-01-09make env::current_exe work on WindowsRalf Jung-1/+0
2022-12-12More host/target path conversion tests:Ralf Jung-1/+2
2022-10-28update ignore-windows commentsRalf Jung-1/+1
2022-09-21Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573'Oli Scherer-0/+117