summaryrefslogtreecommitdiff
path: root/tests/src (follow)
Commit message (Collapse)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