summaryrefslogtreecommitdiff
path: root/tests/src (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Add more testsSon Ho2024-06-055-0/+79
|
* Update the test runner to allow the syntax [!lean] and [borrow-check]Son Ho2024-06-0511-19/+19
|
* Merge branch 'main' into son/clean-synthesisSon Ho2024-06-051-1/+6
|\
| * Merge branch 'main' into son/loops2Son Ho2024-06-0421-28/+140
| |\
| * | Add a testSon Ho2024-06-031-1/+6
| | |
* | | 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