summaryrefslogtreecommitdiff
path: root/Test/vstte2012
ModeNameSize
-rw-r--r--BreadthFirstSearch.dfy9798logplain
-rw-r--r--BreadthFirstSearch.dfy.expect62logplain
-rw-r--r--Combinators.dfy18039logplain
-rw-r--r--Combinators.dfy.expect62logplain
-rw-r--r--RingBuffer.dfy2644logplain
-rw-r--r--RingBuffer.dfy.expect62logplain
-rw-r--r--RingBufferAuto.dfy2696logplain
-rw-r--r--RingBufferAuto.dfy.expect62logplain
-rw-r--r--Tree.dfy6048logplain
-rw-r--r--Tree.dfy.expect62logplain
-rw-r--r--Two-Way-Sort.dfy2073logplain
-rw-r--r--Two-Way-Sort.dfy.expect61logplain