summaryrefslogtreecommitdiff
path: root/Test/VSComp2010
ModeNameSize
-rw-r--r--Answer643logplain
-rw-r--r--Problem1-SumMax.dfy1122logplain
-rw-r--r--Problem2-Invert.dfy3343logplain
-rw-r--r--Problem3-FindZero.dfy3306logplain
-rw-r--r--Problem4-Queens.dfy6900logplain
-rw-r--r--Problem5-DoubleEndedQueue.dfy4325logplain
-rw-r--r--runtest.bat348logplain