summaryrefslogtreecommitdiff
path: root/tests/src/mutually-recursive-traits.lean.out (follow)
Commit message (Expand)AuthorAgeFilesLines
* Update the test runner to allow the syntax [!lean] and [borrow-check]Son Ho2024-06-051-7/+7
* Remove the options from the functions synthesizing the symbolic ASTSon Ho2024-05-301-6/+6
* runner: Support negative testsNadrieril2024-05-271-0/+17