about summary refs log tree commit diff
path: root/src/tools/miri/tests/genmc
AgeCommit message (Expand)AuthorLines
2025-07-27various minor adjustmentsRalf Jung-2/+1
2025-07-27Add support for building and linking against genmcPatrick-6-0/+14