summaryrefslogtreecommitdiff
path: root/tests/src/betree/aeneas-test-options (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-28runner: Store options for crate tests in a separate fileNadrieril1-0/+4