diff options
| author |  qadeer <qadeer@microsoft.com> | 2011-11-22 23:56:31 -0800 |
|---|---|---|
| committer | qadeer <qadeer@microsoft.com> | 2011-11-22 23:56:31 -0800 |
| commit | 01c3e8e8045cfa8a2b5f0746897441ebf027749d (patch) | |
| tree | fe4121725d31e6dec11de890e49cdf057dc92dbf /Test/vstte2012/runtest.bat | |
| parent | 0fdcd28a14d89fd878f334ad3d80f42363760fc5 (diff) | |
| parent | 58c58e5833cbbfdd29df72f643025c01f080dde9 (diff) | |
Merge
Diffstat (limited to 'Test/vstte2012/runtest.bat')
| -rw-r--r-- | Test/vstte2012/runtest.bat | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/Test/vstte2012/runtest.bat b/Test/vstte2012/runtest.bat index 07b5859e..5145cb56 100644 --- a/Test/vstte2012/runtest.bat +++ b/Test/vstte2012/runtest.bat @@ -14,11 +14,5 @@ for %%f in ( ) 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
)
|