summary refs log tree commit diff
path: root/src/tools/miri/tests/pass/function_calls
AgeCommit message (Expand)AuthorLines
2023-08-19custom_mir: change Call() terminator syntax to something more readableRalf Jung-1/+1
2023-07-16miri: fail when calling a function that requires an unavailable target featureEduardo Sánchez Muñoz-0/+12
2023-07-11miri: protect Move() function arguments during the callRalf Jung-0/+25
2022-09-21Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573'Oli Scherer-0/+103