summaryrefslogtreecommitdiff
path: root/tests/test_runner (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 Ho3-15/+46
2024-05-30runner: Factor out backend-specific optionsNadrieril2-49/+56
2024-05-30runner: Split up into multiple filesNadrieril5-197/+190
2024-05-30runner: make the backend map a submodule of `Backend`Nadrieril1-36/+48
2024-05-28Add type and set/map for marker and borrow idAymeric Fromherz1-1/+1
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 testsNadrieril2-20/+52
2024-05-27runner: Correctly catch command exit statusNadrieril2-29/+40
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-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-24runner: Pass options in special commentsNadrieril2-78/+113
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-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 runnerNadrieril5-0/+86
generated by cgit v1.2.3 (git 2.25.1) at 2024-10-18 23:33:45 +0000