summaryrefslogtreecommitdiff
path: root/tests/examplefiles/lean
ModeNameSize
-rw-r--r--test.lean8611logplain
-rw-r--r--test.lean.output81678logplain