summaryrefslogtreecommitdiff
path: root/tests/src/betree (follow)
Commit message (Expand)AuthorAgeFilesLines
* Support for renaming using the rename attribute in charon (#239)Escherichia2024-06-181-1/+1
* Update the betreeSon Ho2024-06-051-99/+98
* 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