diff options
Diffstat (limited to 'scripts/run_demo.sh')
| -rwxr-xr-x | scripts/run_demo.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/scripts/run_demo.sh b/scripts/run_demo.sh index 0ad462e..bda33cf 100755 --- a/scripts/run_demo.sh +++ b/scripts/run_demo.sh @@ -3,6 +3,11 @@ rep=({0..3}) if [[ $# -gt 0 ]]; then rep=($@) fi + +# avoid stack overflow as in our simple demo the bootstrapping replica will +# potentially have a long chain of promise resolution +ulimit -s unlimited + for i in "${rep[@]}"; do echo "starting replica $i" #valgrind --leak-check=full ./examples/hotstuff-app --conf hotstuff-sec${i}.conf > log${i} 2>&1 & |