From 83e13f515b7d9f89a96c670d34b9576b61edb894 Mon Sep 17 00:00:00 2001 From: Rustan Leino Date: Wed, 9 Nov 2011 17:27:36 -0800 Subject: Dafny: added assert/assume expressions --- 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 c30ec3a5..32a60340 100644 --- a/Test/dafny0/runtest.bat +++ b/Test/dafny0/runtest.bat @@ -20,7 +20,7 @@ for %%f in (TypeTests.dfy NatTypes.dfy SmallTests.dfy Definedness.dfy TypeParameters.dfy Datatypes.dfy TypeAntecedents.dfy SplitExpr.dfy Refinement.dfy RefinementErrors.dfy LoopModifies.dfy ReturnErrors.dfy ReturnTests.dfy ChainingDisjointTests.dfy - CallStmtTests.dfy MultiSets.dfy) do ( + CallStmtTests.dfy MultiSets.dfy PredExpr.dfy) do ( echo. echo -------------------- %%f -------------------- %DAFNY_EXE% /compile:0 /dprint:out.dfy.tmp %* %%f -- cgit v1.2.3