summaryrefslogtreecommitdiff
path: root/tests/test_runner (follow)
Commit message (Expand)AuthorAgeFilesLines
* Update the test runnerSon Ho2024-06-051-1/+4
* Update the test runner to allow the syntax [!lean] and [borrow-check]Son Ho2024-06-053-15/+46
* runner: Factor out backend-specific optionsNadrieril2024-05-302-49/+56
* runner: Split up into multiple filesNadrieril2024-05-305-197/+190
* runner: make the backend map a submodule of `Backend`Nadrieril2024-05-301-36/+48
* runner: Store options for crate tests in a separate fileNadrieril2024-05-281-30/+10
* tests: Rename betree_main -> betreeNadrieril2024-05-281-5/+2
* runner: Add `no-check-output` option for unstable outputsNadrieril2024-05-271-6/+30
* runner: Support negative testsNadrieril2024-05-272-20/+52
* runner: Correctly catch command exit statusNadrieril2024-05-272-29/+40
* Rename some subdirectories for consistencyNadrieril2024-05-241-13/+7
* runner: Specify subdirectory in magic commentsNadrieril2024-05-241-15/+16
* runner: Factor out useful `BackendMap` operationsNadrieril2024-05-241-33/+26
* runner: Allow per-backend skippingNadrieril2024-05-241-19/+46
* runner: Allow filenames with dashesNadrieril2024-05-242-1/+2
* fix generated fileNadrieril2024-05-241-1/+1
* runner: Pass options in special commentsNadrieril2024-05-242-78/+113
* runner: define an Input moduleNadrieril2024-05-241-90/+92
* runner: Strongly typed Backend enumNadrieril2024-05-242-62/+88
* Downgrade the version of duneSon Ho2024-05-241-1/+1
* runner: Use full path and use an enum for crate vs fileNadrieril2024-05-241-42/+54
* runner: Do both steps of generation at onceNadrieril2024-05-241-22/+24
* Auto-detect test casesNadrieril2024-05-242-17/+23
* Use runner to generate llbcNadrieril2024-05-241-20/+104
* Import test suite from charonNadrieril2024-05-241-1/+1
* Remove secondary betree testNadrieril2024-05-241-18/+4
* Let the runner choose which backends to useNadrieril2024-05-241-15/+23
* Cleanup test runnerNadrieril2024-05-241-99/+124
* Set all options in the test runnerNadrieril2024-05-241-0/+57
* Move the subdirectory selection to the test runnerNadrieril2024-05-241-3/+26
* Add simple test runnerNadrieril2024-05-245-0/+86
generated by cgit v1.2.3 (git 2.25.1) at 2024-10-18 19:27:50 +0000