summaryrefslogtreecommitdiff
path: root/Test/textbook/runtest.bat
blob: f43e54d993abc717abc560341c67942a67f4f139 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
@echo off

set BOOGIEDIR=..\..\Binaries
set BPLEXE=%BOOGIEDIR%\Boogie.exe

REM ======================
REM ====================== Examples written in Boogie
REM ======================
for %%f in (Find.bpl DutchFlag.bpl Bubble.bpl DivMod.bpl McCarthy-91.bpl
            TuringFactorial.bpl BQueue.bpl) do (
  echo.
  echo ------------------------------ %%f ---------------------
  %BPLEXE% %* %%f
)