summaryrefslogtreecommitdiff
path: root/tests/test_runner/run_test.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* runner: Pass options in special commentsNadrieril2024-05-241-77/+112
* runner: define an Input moduleNadrieril2024-05-241-90/+92
* runner: Strongly typed Backend enumNadrieril2024-05-241-62/+82
* 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-241-16/+22
* 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-241-0/+30