/Test/dafny0/

• ../
• Answer
• BQueue.bpl
• BadFunction.dfy
• BinaryTree.dfy
• DTypes.dfy
• Datatypes.dfy
• Definedness.dfy
• ListContents.dfy
• ListCopy.dfy
• ListReverse.dfy
• Modules0.dfy
• Modules1.dfy
• Queue.dfy
• SchorrWaite.dfy
• Simple.dfy
• SmallTests.dfy
• Substitution.dfy
• SumOfCubes.dfy
• Termination.dfy
• TerminationDemos.dfy
• Tree.dfy
• TypeParameters.dfy
• TypeTests.dfy
• UnboundedStack.dfy
• Use.dfy
• runtest.bat