summaryrefslogtreecommitdiff
path: root/Test/dafny3
ModeNameSize
-rw-r--r--Answer355logplain
-rw-r--r--Dijkstra.dfy1923logplain
-rw-r--r--Iter.dfy2615logplain
-rw-r--r--Streams.dfy7356logplain
-rw-r--r--runtest.bat262logplain