summary refs log tree commit diff
path: root/src/tools/miri/tests/native-lib/ptr_read_access.c
AgeCommit message (Expand)AuthorLines
2024-08-30enable Miri to pass const pointers through FFIStrophox-0/+47