From 559465ecfa891da2b547c0e144e981a01ff4af33 Mon Sep 17 00:00:00 2001
From: Determinant <ted.sybil@gmail.com>
Date: Sat, 18 Aug 2018 16:28:32 -0400
Subject: add more scripts

---
 scripts/run_demo.sh | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100755 scripts/run_demo.sh

(limited to 'scripts/run_demo.sh')

diff --git a/scripts/run_demo.sh b/scripts/run_demo.sh
new file mode 100755
index 0000000..5f54787
--- /dev/null
+++ b/scripts/run_demo.sh
@@ -0,0 +1,12 @@
+#!/bin/bash
+rep=({0..3})
+if [[ $# -gt 0 ]]; then
+    rep=($@)
+fi
+for i in "${rep[@]}"; do
+    echo "starting replica $i"
+    #valgrind --leak-check=full ./hotstuff-app --conf hotstuff-sec${i}.conf > log${i} 2>&1 &
+    #gdb -ex r -ex bt -ex q --args ./hotstuff-app --conf hotstuff-sec${i}.conf > log${i} 2>&1 &
+    ./hotstuff-app --conf hotstuff-sec${i}.conf > log${i} 2>&1 &
+done
+wait
-- 
cgit v1.2.3