summaryrefslogtreecommitdiff
path: root/tests/src/paper.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2024-06-05Update the test runner to allow the syntax [!lean] and [borrow-check]Son Ho1-1/+1
2024-05-24runner: Specify subdirectory in magic commentsNadrieril1-0/+1
2024-05-24runner: Pass options in special commentsNadrieril1-0/+2
2024-05-24Import test suite from charonNadrieril1-0/+82