summaryrefslogtreecommitdiff
path: root/Test/vstte2012
ModeNameSize
-rw-r--r--Answer740logplain
-rw-r--r--BreadthFirstSearch.dfy10673logplain
-rw-r--r--Combinators.dfy17915logplain
-rw-r--r--RingBuffer.dfy2551logplain
-rw-r--r--RingBufferAuto.dfy2064logplain
-rw-r--r--Tree.dfy5873logplain
-rw-r--r--Two-Way-Sort.dfy1980logplain
-rw-r--r--runtest.bat357logplain