summaryrefslogtreecommitdiff
path: root/tests/src (follow)
Commit message (Expand)AuthorAgeFilesLines
* Remove redundant `llbc_name` fieldNadrieril2024-06-281-6/+6
* Update charonNadrieril2024-06-241-6/+6
* Add some proofs for the Lean backend (#255)Son HO2024-06-211-11/+11
* Update charonNadrieril2024-06-211-3/+3
* Support for renaming using the rename attribute in charon (#239)Escherichia2024-06-187-6/+81
* Tiny dedupNadrieril2024-06-181-1/+1
* Regenerate the testsSon Ho2024-06-171-2/+2
* Update the code of the hashmapSon Ho2024-06-171-30/+31
* Update the tests for tuplesSon Ho2024-06-111-1/+13
* Update the betreeSon Ho2024-06-051-99/+98
* Regenerate some testsSon Ho2024-06-051-14/+2
* Add some negative tests for the borrow checkerSon Ho2024-06-052-0/+105
* 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