From b0970a64f59da200f1cb61c3a912c19d02785672 Mon Sep 17 00:00:00 2001 From: Rustan Leino Date: Mon, 24 Oct 2011 13:51:47 -0700 Subject: Dafny: continued translation of "parallel" statements (Assign and Proof forms are mostly there, Call is missing and so is compilation) Dafny: included some test cases for the "parallel" statement Dafny: starting changing old "foreach" statements to the new "parallel" statement --- Test/dafny0/runtest.bat | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Test/dafny0/runtest.bat') diff --git a/Test/dafny0/runtest.bat b/Test/dafny0/runtest.bat index bfa88b54..a670ced5 100644 --- a/Test/dafny0/runtest.bat +++ b/Test/dafny0/runtest.bat @@ -16,7 +16,7 @@ for %%f in (TypeTests.dfy NatTypes.dfy SmallTests.dfy Definedness.dfy Array.dfy MultiDimArray.dfy NonGhostQuantifiers.dfy AdvancedLHS.dfy Modules0.dfy Modules1.dfy BadFunction.dfy Comprehensions.dfy Basics.dfy ControlStructures.dfy - Termination.dfy DTypes.dfy + Termination.dfy DTypes.dfy Parallel.dfy TypeParameters.dfy Datatypes.dfy TypeAntecedents.dfy SplitExpr.dfy Refinement.dfy RefinementErrors.dfy LoopModifies.dfy ReturnErrors.dfy ReturnTests.dfy ChainingDisjointTests.dfy -- cgit v1.2.3