diff options
| author |  wuestholz <unknown> | 2013-12-19 09:40:13 +0100 |
|---|---|---|
| committer | wuestholz <unknown> | 2013-12-19 09:40:13 +0100 |
| commit | 5a30bb1a7c7cd9d34758dedbf47b57611cc82a87 (patch) | |
| tree | 7eda134dd682f912b8daf21a7a90cdcdf28d3c8d /Test/dafny3 | |
| parent | 72dba23b3ec67244cdf7c598a953bf4fdf32a001 (diff) | |
Add pretty-printing flag to the dafny3 test script.
Diffstat (limited to 'Test/dafny3')
| -rw-r--r-- | Test/dafny3/runtest.bat | 2 |
1 files changed, 1 insertions, 1 deletions
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
|