summaryrefslogtreecommitdiff
path: root/tests/test_runner/run_test.ml (unfollow)
Commit message (Expand)AuthorFilesLines
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