summaryrefslogtreecommitdiff
path: root/tests/src (follow)
Commit message (Expand)AuthorAgeFilesLines
* Remove the options from the functions synthesizing the symbolic ASTSon Ho2024-05-301-6/+6
* Reactivate the infinite-loop.rs testSon Ho2024-05-281-1/+0
* tests: Rename hashmap_utils -> utilsNadrieril2024-05-281-4/+4
* Add some testsNadrieril2024-05-283-0/+37
* runner: Store options for crate tests in a separate fileNadrieril2024-05-281-0/+4
* tests: Merge the hashmap test filesNadrieril2024-05-273-36/+28
* runner: Add `no-check-output` option for unstable outputsNadrieril2024-05-272-21/+1
* runner: Support negative testsNadrieril2024-05-274-0/+55
* runner: Specify subdirectory in magic commentsNadrieril2024-05-248-0/+8
* runner: Pass options in special commentsNadrieril2024-05-2414-0/+37
* Import test suite from charonNadrieril2024-05-2422-0/+4011