summaryrefslogtreecommitdiff
path: root/tests/src/mutually-recursive-traits.lean.out (follow)
Commit message (Expand)AuthorAgeFilesLines
* runner: Support negative testsNadrieril2024-05-271-0/+17