summaryrefslogtreecommitdiff
path: root/tests/test_runner/run_test.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2024-06-05Update the test runnerSon Ho1-1/+4
2024-06-05Update the test runner to allow the syntax [!lean] and [borrow-check]Son Ho1-4/+11
2024-05-30runner: Factor out backend-specific optionsNadrieril1-8/+14
2024-05-30runner: Split up into multiple filesNadrieril1-196/+0
2024-05-30runner: make the backend map a submodule of `Backend`Nadrieril1-36/+48
2024-05-28runner: Store options for crate tests in a separate fileNadrieril1-30/+10
2024-05-28tests: Rename betree_main -> betreeNadrieril1-5/+2
2024-05-27runner: Add `no-check-output` option for unstable outputsNadrieril1-6/+30
2024-05-27runner: Support negative testsNadrieril1-19/+51
2024-05-27runner: Correctly catch command exit statusNadrieril1-28/+39
2024-05-24Rename some subdirectories for consistencyNadrieril1-13/+7
2024-05-24runner: Specify subdirectory in magic commentsNadrieril1-15/+16
2024-05-24runner: Factor out useful `BackendMap` operationsNadrieril1-33/+26
2024-05-24runner: Allow per-backend skippingNadrieril1-19/+46
2024-05-24runner: Allow filenames with dashesNadrieril1-0/+1
2024-05-24runner: Pass options in special commentsNadrieril1-77/+112
2024-05-24runner: define an Input moduleNadrieril1-90/+92
2024-05-24runner: Strongly typed Backend enumNadrieril1-62/+82
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 casesNadrieril1-16/+22
2024-05-24Use runner to generate llbcNadrieril1-20/+104
2024-05-24Import test suite from charonNadrieril1-1/+1
2024-05-24Remove secondary betree testNadrieril1-18/+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 runnerNadrieril1-0/+30