about summary refs log tree commit diff
path: root/src/tools/miri/tests/fail/validity/uninit_integer.stderr
AgeCommit message (Expand)AuthorLines
2025-07-02miri: improve errors for type validity assertion failuresRalf Jung-1/+1
2025-06-07diagnostics: do not repeat the entire message in the span labelRalf Jung-1/+1
2024-09-16Bump ui testOli Scherer-2/+2
2023-11-24Bless Miri testsNilstrieb-1/+1
2023-08-02const validation: point at where we found a pointer but expected an integerRalf Jung-2/+2
2022-09-21Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573'Oli Scherer-0/+15