summaryrefslogtreecommitdiff
path: root/Test/VSComp2010
ModeNameSize
-rw-r--r--Answer824logplain
-rw-r--r--Problem1-SumMax.dfy1123logplain
-rw-r--r--Problem2-Invert.dfy3358logplain
-rw-r--r--Problem3-FindZero.dfy3327logplain
-rw-r--r--Problem4-Queens.dfy8425logplain
-rw-r--r--Problem5-DoubleEndedQueue.dfy4524logplain
-rw-r--r--runtest.bat374logplain