diff options
author | Rustan Leino <leino@microsoft.com> | 2011-11-22 20:08:28 -0800 |
---|---|---|
committer | Rustan Leino <leino@microsoft.com> | 2011-11-22 20:08:28 -0800 |
commit | b3316fbe0671878a05378eaacba9951ab5565f55 (patch) | |
tree | 034fec67786f93003944f4e5e731789421fa0f57 /Test/dafny1 | |
parent | 456b38819dd1bdafdf2baaa59125ecf9910722ed (diff) | |
parent | 38027f14460e51c0f65e4575d240b7906235ad9e (diff) |
Merge
Diffstat (limited to 'Test/dafny1')
-rw-r--r-- | Test/dafny1/runtest.bat | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/Test/dafny1/runtest.bat b/Test/dafny1/runtest.bat index 15bd28a1..524765cf 100644 --- a/Test/dafny1/runtest.bat +++ b/Test/dafny1/runtest.bat @@ -26,11 +26,5 @@ for %%f in (Queue.dfy PriorityQueue.dfy ExtensibleArray.dfy UltraFilter.dfy) do (
echo.
echo -------------------- %%f --------------------
-
- REM The following line will just run the verifier
- IF "%COMPILEDAFNY%"=="" %DAFNY_EXE% /compile:0 /dprint:out.dfy.tmp %* %%f
-
- REM Alternatively, the following lines also produce C# code and compile it
- IF NOT "%COMPILEDAFNY%"=="" %DAFNY_EXE% %* %%f
- IF NOT "%COMPILEDAFNY%"=="" %CSC% /nologo /debug /t:library /out:out.dll /r:System.Numerics.dll out.cs
+ %DAFNY_EXE% /compile:0 /dprint:out.dfy.tmp %* %%f
)
|