summaryrefslogtreecommitdiff
path: root/tests/src/loops.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2024-06-18Support for renaming using the rename attribute in charon (#239)Escherichia1-1/+1
2024-05-24runner: Specify subdirectory in magic commentsNadrieril1-0/+1
2024-05-24runner: Pass options in special commentsNadrieril1-0/+3
2024-05-24Import test suite from charonNadrieril1-0/+366