summaryrefslogtreecommitdiff
path: root/Test/dafny0
ModeNameSize
-rw-r--r--Answer16891logplain
-rw-r--r--Array.dfy3492logplain
-rw-r--r--BadFunction.dfy376logplain
-rw-r--r--DTypes.dfy1713logplain
-rw-r--r--Datatypes.dfy1236logplain
-rw-r--r--Definedness.dfy5764logplain
-rw-r--r--Modules0.dfy2615logplain
-rw-r--r--Modules1.dfy941logplain
-rw-r--r--MultiDimArray.dfy2264logplain
-rw-r--r--Refinement.dfy3076logplain
-rw-r--r--RefinementErrors.dfy468logplain
-rw-r--r--Simple.dfy1255logplain
-rw-r--r--SmallTests.dfy4605logplain
-rw-r--r--SplitExpr.dfy1841logplain
-rw-r--r--Termination.dfy4116logplain
-rw-r--r--TypeParameters.dfy2531logplain
-rw-r--r--TypeTests.dfy2062logplain
-rw-r--r--Use.dfy5181logplain
-rw-r--r--runtest.bat664logplain