summaryrefslogtreecommitdiff
path: root/Test/VerifyThis2015
ModeNameSize
-rw-r--r--Problem1.dfy6530logplain
-rw-r--r--Problem1.dfy.expect123logplain
-rw-r--r--Problem2.dfy11670logplain
-rw-r--r--Problem2.dfy.expect62logplain
-rw-r--r--Problem3.dfy4823logplain
-rw-r--r--Problem3.dfy.expect107logplain