summaryrefslogtreecommitdiff
path: root/tests/src/external.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2024-06-05Update the test runner to allow the syntax [!lean] and [borrow-check]Son Ho1-2/+2
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/+11