From 140ee49ccf0353cd29c04d0d6bd5d4da69e7d0cc Mon Sep 17 00:00:00 2001 From: Determinant Date: Fri, 17 Aug 2018 11:28:07 -0400 Subject: add scripts; move scripts to a new directory --- scripts/run_client.sh | 2 ++ 1 file changed, 2 insertions(+) create mode 100755 scripts/run_client.sh (limited to 'scripts/run_client.sh') diff --git a/scripts/run_client.sh b/scripts/run_client.sh new file mode 100755 index 0000000..93a9148 --- /dev/null +++ b/scripts/run_client.sh @@ -0,0 +1,2 @@ +#!/bin/bash +./hotstuff-client --idx 0 --iter -1 --max-async 3 -- cgit v1.2.3-70-g09d2