summaryrefslogtreecommitdiff
path: root/Test/lock/runtest.bat
blob: a90972c97beb7d911c1822f45849e5ef4b9ff43b (plain) 
1
2
3
4
5
6
7

@echo off
setlocal

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

%BGEXE% %* Lock.bpl
%BGEXE% %* LockIncorrect.bpl
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-07 05:17:09 +0000