summaryrefslogtreecommitdiff
path: root/tests/test_runner/Input.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* Update the test runner to allow the syntax [!lean] and [borrow-check]Son Ho2024-06-051-9/+19
* runner: Factor out backend-specific optionsNadrieril2024-05-301-41/+42
* runner: Split up into multiple filesNadrieril2024-05-301-0/+129