From e27219dff3dcf9f0307ebcb81fa8f94cf6156e7b Mon Sep 17 00:00:00 2001 From: Rustan Leino Date: Thu, 16 Feb 2012 13:55:58 -0800 Subject: Dafny: allow various forms of leaving off type arguments in declarations --- Test/dafny0/runtest.bat | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'Test/dafny0/runtest.bat') diff --git a/Test/dafny0/runtest.bat b/Test/dafny0/runtest.bat index d09e1cc2..b1402e83 100644 --- a/Test/dafny0/runtest.bat +++ b/Test/dafny0/runtest.bat @@ -17,7 +17,8 @@ for %%f in (TypeTests.dfy NatTypes.dfy SmallTests.dfy Definedness.dfy ModulesCycle.dfy Modules0.dfy Modules1.dfy BadFunction.dfy Comprehensions.dfy Basics.dfy ControlStructures.dfy Termination.dfy DTypes.dfy ParallelResolveErrors.dfy Parallel.dfy - TypeParameters.dfy Datatypes.dfy TypeAntecedents.dfy SplitExpr.dfy + TypeParameters.dfy Datatypes.dfy TypeAntecedents.dfy NoTypeArgs.dfy + SplitExpr.dfy LoopModifies.dfy Refinement.dfy RefinementErrors.dfy ReturnErrors.dfy ReturnTests.dfy ChainingDisjointTests.dfy CallStmtTests.dfy MultiSets.dfy PredExpr.dfy LetExpr.dfy -- cgit v1.2.3