about summary refs log tree commit diff
path: root/src/tools/miri/tests/extern-so/fail
AgeCommit message (Collapse)AuthorLines
2024-05-10rename 'extern-so' to 'native-lib'Ralf Jung-28/+0
2024-05-04only show the 'basic API common for this target' message when this is a ↵Ralf Jung-2/+2
missing foreign function
2024-05-04update 'unsupported' messageRalf Jung-1/+2
2023-11-24Bless Miri testsNilstrieb-1/+1
Co-authored-by: Adrian <adrian.iosdev@gmail.com>
2022-12-28handle unknown targets more gracefullyRalf Jung-3/+4
2022-09-21Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573'Oli Scherer-0/+26
git-subtree-dir: src/tools/miri git-subtree-mainline: 3f3167fb59341ac3240ca1774f48e8c053219131 git-subtree-split: 75dd959a3a40eb5b4574f8d2e23aa6efbeb33573