summaryrefslogtreecommitdiff
path: root/tests/src/mutually-recursive-traits.lean.out (follow)
Commit message (Expand)AuthorAgeFilesLines
* Remove the options from the functions synthesizing the symbolic ASTSon Ho2024-05-301-6/+6
* runner: Support negative testsNadrieril2024-05-271-0/+17