summaryrefslogtreecommitdiff
path: root/tests/src/paper.rs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Update the test runner to allow the syntax [!lean] and [borrow-check]Son Ho2024-06-051-1/+1
|
* runner: Specify subdirectory in magic commentsNadrieril2024-05-241-0/+1
|
* runner: Pass options in special commentsNadrieril2024-05-241-0/+2
|
* Import test suite from charonNadrieril2024-05-241-0/+82