1 files changed, 0 insertions, 33 deletions
diff --git a/Chalice/tests/test-scripts/getboogieoutput.bat b/Chalice/tests/test-scripts/getboogieoutput.bat
deleted file mode 100644
index 76af1fcf..00000000
--- a/Chalice/tests/test-scripts/getboogieoutput.bat
+++ /dev/null
@@ -1,33 +0,0 @@
-@echo off
-set chalice="%~dp0\..\..\chalice.bat"
-set getparams="%~dp0\getparams.bat"
-
-set output="%1.output.txt"
-
-:: get parameters
-set chaliceparameters=
-setlocal EnableDelayedExpansion
-set done=0
-set key=a
-FOR /F "usebackq tokens=1,2 delims==" %%i in (%1.chalice) do (
-    
-    if !done!==0 (
-        set key=%%i
-        set param=%%j
-    )
-    
-    set done=1
-)
-set str=// chalice-parameter
-if "!key!"=="!str!" (
-    set chaliceparameters=!param!
-)
-
-echo Verification of %1.chalice using parameters="%chaliceparameters%" > %output%
-echo.>> %output%
-call %chalice% "%1.chalice" -smoke -time:0 %chaliceparameters% %2 %3 %4 %5 %6 %7 >> %output% 2>&1
-
-set o=%~dp1%out.bpl
-if exist "%o%" copy "%o%" "%1.bpl">nul
-if exist "%o%" del "%~dp1%out.bpl"
-goto :eof