about summary refs log tree commit diff
path: root/src/tools/miri/tests/pass/ptr_int_casts.rs
AgeCommit message (Expand)AuthorLines
2024-12-25show an error on some invalid flag combinations: TB + permissive provenance; ...Ralf Jung-4/+1
2024-09-29let rustfmt format importsRalf Jung-2/+1
2024-07-26better diagnostics for Tree Borrows + int2ptr castsRalf Jung-1/+2
2023-03-16TB: select tests to run both TB and SBNeven Villani-0/+2
2022-09-21Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573'Oli Scherer-0/+73