summaryrefslogtreecommitdiff
path: root/tests (unfollow)
Commit message (Expand)AuthorFilesLines
2024-06-05Update the test runner to allow the syntax [!lean] and [borrow-check]Son Ho14-34/+65
2024-06-05Update charonNadrieril27-287/+278
2024-06-03Add a testSon Ho4-103/+123
2024-05-31Regenerate testsAymeric Fromherz13-35/+35
2024-05-31Regenerate test outputAymeric Fromherz19-108/+2588
2024-05-30Remove the options from the functions synthesizing the symbolic ASTSon Ho1-6/+6
2024-05-30Implement two phases of loops join + collapseAymeric Fromherz19-2588/+108
2024-05-30Improve the tests READMENadrieril2-14/+22
2024-05-30runner: Factor out backend-specific optionsNadrieril2-49/+56
2024-05-30runner: Split up into multiple filesNadrieril6-198/+191
2024-05-30runner: make the backend map a submodule of `Backend`Nadrieril1-36/+48
2024-05-30tests: Add a READMENadrieril1-0/+67
2024-05-28Fix an issue with some names being ignored when generating unique variable namesSon Ho2-4/+4
2024-05-28Reactivate the infinite-loop.rs testSon Ho4-1/+76
2024-05-28Add type and set/map for marker and borrow idAymeric Fromherz1-1/+1
2024-05-28tests: Rename hashmap_utils -> utilsNadrieril13-42/+40
2024-05-28Add some testsNadrieril8-0/+178
2024-05-28runner: Store options for crate tests in a separate fileNadrieril2-30/+14
2024-05-28tests: Rename betree_main -> betreeNadrieril30-363/+359
2024-05-27tests: Merge the hashmap test filesNadrieril42-3992/+279
2024-05-27runner: Add `no-check-output` option for unstable outputsNadrieril3-27/+31
2024-05-27runner: Support negative testsNadrieril7-20/+113
2024-05-27runner: Correctly catch command exit statusNadrieril2-29/+40
2024-05-24Rename some subdirectories for consistencyNadrieril50-13/+7
2024-05-24Update output filesNadrieril26-554/+554
2024-05-24runner: Specify subdirectory in magic commentsNadrieril9-15/+24
2024-05-24runner: Factor out useful `BackendMap` operationsNadrieril1-33/+26
2024-05-24Update an .opam fileSon Ho1-1/+1
2024-05-24runner: Allow per-backend skippingNadrieril1-19/+46
2024-05-24runner: Allow filenames with dashesNadrieril2-1/+2
2024-05-24fix generated fileNadrieril1-1/+1
2024-05-24Update test outputsNadrieril51-1219/+1219
2024-05-24runner: Pass options in special commentsNadrieril16-78/+150
2024-05-24runner: define an Input moduleNadrieril1-90/+92
2024-05-24runner: Strongly typed Backend enumNadrieril2-62/+88
2024-05-24Downgrade the version of duneSon Ho1-1/+1
2024-05-24Downgrade the version of duneSon Ho1-1/+1
2024-05-24runner: Use full path and use an enum for crate vs fileNadrieril1-42/+54
2024-05-24runner: Do both steps of generation at onceNadrieril1-22/+24
2024-05-24Auto-detect test casesNadrieril2-17/+23
2024-05-24Use runner to generate llbcNadrieril1-20/+104
2024-05-24Tweak a pathNadrieril51-1219/+1219
2024-05-24Import test suite from charonNadrieril25-1/+4016
2024-05-24Remove secondary betree testNadrieril9-2100/+4
2024-05-24Let the runner choose which backends to useNadrieril1-15/+23
2024-05-24Cleanup test runnerNadrieril1-99/+124
2024-05-24Set all options in the test runnerNadrieril1-0/+57
2024-05-24Move the subdirectory selection to the test runnerNadrieril1-3/+26
2024-05-24Add simple test runnerNadrieril5-0/+86
2024-05-23Regenerate Lean files for betreeAymeric Fromherz1-0/+4