summaryrefslogtreecommitdiff
path: root/tests/src (unfollow)
Commit message (Expand)AuthorFilesLines
2024-06-28Remove redundant `llbc_name` fieldNadrieril1-6/+6
2024-06-24Update charonNadrieril1-6/+6
2024-06-21Add some proofs for the Lean backend (#255)Son HO1-11/+11
2024-06-21Update charonNadrieril1-3/+3
2024-06-18Support for renaming using the rename attribute in charon (#239)Escherichia7-6/+81
2024-06-18Tiny dedupNadrieril1-1/+1
2024-06-17Regenerate the testsSon Ho1-2/+2
2024-06-17Update the code of the hashmapSon Ho1-30/+31
2024-06-11Update the tests for tuplesSon Ho1-1/+13
2024-06-05Update the betreeSon Ho1-99/+98
2024-06-05Regenerate some testsSon Ho1-14/+2
2024-06-05Add some negative tests for the borrow checkerSon Ho2-0/+105
2024-06-05Add more testsSon Ho5-0/+79
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