diff options
author | allydonaldson <unknown> | 2013-06-07 17:00:07 +0100 |
---|---|---|
committer | allydonaldson <unknown> | 2013-06-07 17:00:07 +0100 |
commit | 471a652e56da9b8d24a72d77688c360abf613bef (patch) | |
tree | 6abcca1343dafac57c441454a986ea480503a5dc /Test/snapshots/runtest.bat | |
parent | 8cd9a8f63d7b13281e76ffcdd255842de977bb23 (diff) | |
parent | 6547ad9261c353a5c1228a8876b684ac8627533f (diff) |
Merge
Diffstat (limited to 'Test/snapshots/runtest.bat')
-rw-r--r-- | Test/snapshots/runtest.bat | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Test/snapshots/runtest.bat b/Test/snapshots/runtest.bat new file mode 100644 index 00000000..05421b85 --- /dev/null +++ b/Test/snapshots/runtest.bat @@ -0,0 +1,7 @@ +@echo off
+setlocal
+
+set BOOGIEDIR=..\..\Binaries
+set BGEXE=%BOOGIEDIR%\Boogie.exe
+
+%BGEXE% %* /verifySnapshots Snapshots0.bpl
|