summaryrefslogtreecommitdiff
path: root/test/golden/proofassume
ModeNameSize
-rw-r--r--parsing.golden12380logplain
-rw-r--r--scanning.golden2logplain
-rw-r--r--tokenizing.golden1610logplain