summaryrefslogtreecommitdiff
path: root/Test/vstte2012
ModeNameSize
-rw-r--r--Answer740logplain
-rw-r--r--BreadthFirstSearch.dfy10688logplain
-rw-r--r--Combinators.dfy17923logplain
-rw-r--r--RingBuffer.dfy2605logplain
-rw-r--r--RingBufferAuto.dfy1967logplain
-rw-r--r--Tree.dfy5879logplain
-rw-r--r--Two-Way-Sort.dfy1980logplain
-rw-r--r--runtest.bat359logplain