summaryrefslogtreecommitdiff
path: root/tests/src/betree (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
2024-05-24Import test suite from charonNadrieril8-0/+1570