summaryrefslogtreecommitdiff
path: root/tests/test_runner (unfollow)
Commit message (Expand)AuthorFilesLines
2024-05-24Update an .opam fileSon Ho1-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-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-12-23 15:20:56 +0000