@echo off setlocal set BGEXE=..\..\Binaries\Boogie.exe for %%f in (houd1.bpl houd2.bpl houd3.bpl houd4.bpl houd5.bpl houd6.bpl houd7.bpl houd8.bpl houd9.bpl houd10.bpl houd11.bpl houd12.bpl) do ( echo. echo -------------------- %%f -------------------- %BGEXE% %* /nologo /contractInfer %%f rem %BGEXE% %* /nologo /prover:z3api /Houdini:ci %%f )