summaryrefslogtreecommitdiff
path: root/tests/src/hashmap.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Update the code of the hashmapSon Ho2024-06-171-30/+31
* Update the test runner to allow the syntax [!lean] and [borrow-check]Son Ho2024-06-051-1/+1
* tests: Rename hashmap_utils -> utilsNadrieril2024-05-281-4/+4
* tests: Merge the hashmap test filesNadrieril2024-05-271-1/+28
* runner: Pass options in special commentsNadrieril2024-05-241-0/+8
* Import test suite from charonNadrieril2024-05-241-0/+352