From 88f75c00ad6788afd78d2402358c45d14d4c1ede Mon Sep 17 00:00:00 2001
From: Baruch Sterin <baruchs@gmail.com>
Date: Tue, 8 Oct 2013 12:04:08 -0700
Subject: script changes for HWMCC13 (finally submitted version)

---
 scripts/multi_prove.sh | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 scripts/multi_prove.sh

(limited to 'scripts/multi_prove.sh')

diff --git a/scripts/multi_prove.sh b/scripts/multi_prove.sh
new file mode 100644
index 00000000..08a36c8f
--- /dev/null
+++ b/scripts/multi_prove.sh
@@ -0,0 +1,14 @@
+#!/bin/sh
+
+abc_root()
+{
+    cwd="$(pwd)"
+    cd $(dirname "$1")
+    echo $(dirname "$(pwd)")
+    cd "${cwd}"
+}
+
+abc_dir=$(abc_root "$0")
+bin_dir="${abc_dir}"/bin
+
+exec ${bin_dir}/abc -c "/multi_prove_aiger $*"
-- 
cgit v1.2.3