summaryrefslogtreecommitdiff
path: root/tests/src/hashmap.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2024-06-17Update the code of the hashmapSon Ho1-30/+31
2024-06-05Update the test runner to allow the syntax [!lean] and [borrow-check]Son Ho1-1/+1
2024-05-28tests: Rename hashmap_utils -> utilsNadrieril1-4/+4
2024-05-27tests: Merge the hashmap test filesNadrieril1-1/+28
2024-05-24runner: Pass options in special commentsNadrieril1-0/+8
2024-05-24Import test suite from charonNadrieril1-0/+352