summaryrefslogtreecommitdiff
path: root/Test/VerifyThis2015
ModeNameSize
-rw-r--r--Problem1.dfy6293logplain
-rw-r--r--Problem1.dfy.expect123logplain
-rw-r--r--Problem2.dfy12193logplain
-rw-r--r--Problem2.dfy.expect62logplain
-rw-r--r--Problem3.dfy5937logplain
-rw-r--r--Problem3.dfy.expect107logplain