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

summary refs log tree commit diff

path: root/Test/lock/runtest.bat

blob: a90972c97beb7d911c1822f45849e5ef4b9ff43b (plain)

@echo off
setlocal

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

%BGEXE% %* Lock.bpl
%BGEXE% %* LockIncorrect.bpl