summaryrefslogtreecommitdiff
path: root/tests/src/betree/aeneas-test-options (follow)
Commit message (Expand)AuthorAgeFilesLines
* Update the test runner to allow the syntax [!lean] and [borrow-check]Son Ho2024-06-051-1/+1
* runner: Store options for crate tests in a separate fileNadrieril2024-05-281-0/+4