From 8cc5d9cc9d455b42fc19881f29da47a08f10d8e1 Mon Sep 17 00:00:00 2001
From: Unknown <akashl@akash-desk.fareast.corp.microsoft.com>
Date: Mon, 5 Nov 2012 15:52:27 +0530
Subject: Added Abstract Houdini: an implementation of Houdini based on
 abstract domains. Currently only predicate-abstraction domain is supported.

---
 Test/AbsHoudini/runtest.bat | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 Test/AbsHoudini/runtest.bat

(limited to 'Test/AbsHoudini/runtest.bat')

diff --git a/Test/AbsHoudini/runtest.bat b/Test/AbsHoudini/runtest.bat
new file mode 100644
index 00000000..34308e4e
--- /dev/null
+++ b/Test/AbsHoudini/runtest.bat
@@ -0,0 +1,11 @@
+@echo off
+setlocal
+
+set BGEXE=..\..\Binaries\Boogie.exe
+
+for %%f in (f1.bpl) do (
+  echo.
+  echo -------------------- %%f --------------------
+  %BGEXE% %* /nologo /noinfer /contractInfer /abstractHoudini:PredicateAbs %%f
+)
+
-- 
cgit v1.2.3