blob: cff01f442c5050051bda45ba4315c507a02e2597 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
@echo off
setlocal
set BCTDIR=..\..\Binaries
set BEXE=%BCTDIR%\BytecodeTranslator.exe
set BOOGIE=..\..\..\Binaries\Boogie.exe
if not exist Output.txt goto justRunTest
del Output.txt
:justRunTest
for %%f in (*.cs) do (
echo -------------------- %%f --------------------
csc /nologo /t:library /debug %%~nf.cs
%BEXE% %%~nf.dll
%BOOGIE% %%~nf.bpl >> Output.txt
)
|