summaryrefslogtreecommitdiff
path: root/Test/vstte2012
ModeNameSize
-rw-r--r--Answer740logplain
-rw-r--r--BreadthFirstSearch.dfy9819logplain
-rw-r--r--BreadthFirstSearch.dfy.expect62logplain
-rw-r--r--Combinators.dfy18008logplain
-rw-r--r--Combinators.dfy.expect62logplain
-rw-r--r--RingBuffer.dfy2644logplain
-rw-r--r--RingBuffer.dfy.expect62logplain
-rw-r--r--RingBufferAuto.dfy2765logplain
-rw-r--r--RingBufferAuto.dfy.expect62logplain
-rw-r--r--Tree.dfy5966logplain
-rw-r--r--Tree.dfy.expect62logplain
-rw-r--r--Two-Way-Sort.dfy2073logplain
-rw-r--r--Two-Way-Sort.dfy.expect61logplain
-rw-r--r--runtest.bat720logplain