summaryrefslogtreecommitdiff
path: root/tests/src/betree (unfollow)
Commit message (Expand)AuthorFilesLines
2024-06-18Support for renaming using the rename attribute in charon (#239)Escherichia1-1/+1
2024-06-05Update the betreeSon Ho1-99/+98
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