summaryrefslogtreecommitdiff
path: root/tests/src (unfollow)
Commit message (Expand)AuthorFilesLines
2024-06-05Update the test runner to allow the syntax [!lean] and [borrow-check]Son Ho11-19/+19
2024-06-03Add a testSon Ho1-1/+6
2024-05-30Remove the options from the functions synthesizing the symbolic ASTSon Ho1-6/+6
2024-05-28Reactivate the infinite-loop.rs testSon Ho1-1/+0
2024-05-28tests: Rename hashmap_utils -> utilsNadrieril1-4/+4
2024-05-28Add some testsNadrieril3-0/+37
2024-05-28runner: Store options for crate tests in a separate fileNadrieril1-0/+4
2024-05-27tests: Merge the hashmap test filesNadrieril3-36/+28
2024-05-27runner: Add `no-check-output` option for unstable outputsNadrieril2-21/+1
2024-05-27runner: Support negative testsNadrieril4-0/+55
2024-05-24runner: Specify subdirectory in magic commentsNadrieril8-0/+8
2024-05-24runner: Pass options in special commentsNadrieril14-0/+37
2024-05-24Import test suite from charonNadrieril22-0/+4011