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