runtest.bat « snapshots « Test - debian-boogie - Debian packaging for Boogie

summary refs log tree commit diff

path: root/Test/snapshots/runtest.bat

blob: 05421b85e59bc25227fd2bd4f95c8723fc5b57bc (plain)

@echo off
setlocal

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

%BGEXE% %* /verifySnapshots Snapshots0.bpl