From 5a30bb1a7c7cd9d34758dedbf47b57611cc82a87 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Thu, 19 Dec 2013 09:40:13 +0100
Subject: Add pretty-printing flag to the dafny3 test script.

---
 Test/dafny3/runtest.bat | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Test/dafny3')

diff --git a/Test/dafny3/runtest.bat b/Test/dafny3/runtest.bat
index 8abf2bd3..41971d4e 100644
--- a/Test/dafny3/runtest.bat
+++ b/Test/dafny3/runtest.bat
@@ -4,7 +4,7 @@ setlocal
 set BINARIES=..\..\Binaries
 set DAFNY_EXE=%BINARIES%\Dafny.exe
 
-%DAFNY_EXE% /compile:0 /verifySeparately %* Iter.dfy Streams.dfy Dijkstra.dfy CachedContainer.dfy SimpleInduction.dfy SimpleCoinduction.dfy CalcExample.dfy InductionVsCoinduction.dfy Zip.dfy SetIterations.dfy Paulson.dfy Filter.dfy WideTrees.dfy InfiniteTrees.dfy OpaqueTrees.dfy GenericSort.dfy
+%DAFNY_EXE% /compile:0 /verifySeparately /dprint:out.dfy.tmp %* Iter.dfy Streams.dfy Dijkstra.dfy CachedContainer.dfy SimpleInduction.dfy SimpleCoinduction.dfy CalcExample.dfy InductionVsCoinduction.dfy Zip.dfy SetIterations.dfy Paulson.dfy Filter.dfy WideTrees.dfy InfiniteTrees.dfy OpaqueTrees.dfy GenericSort.dfy
 
 rem for %%f in (
 rem   Iter.dfy Streams.dfy Dijkstra.dfy CachedContainer.dfy
-- 
cgit v1.2.3