Add a second witness

2019-05-09 14:24:02 +02:00 · 2019-05-09 14:24:02 +02:00 · 7dd57158c7
parent 8e8bc52238
commit 7dd57158c7
1 changed files with 1 additions and 0 deletions
--- a/scripts/run-seq
+++ b/scripts/run-seq
@ -6,6 +6,7 @@ WAITFOR=1800 # 30min
 for i in {1..$COUNT}; do
 timeout $WAITFOR bash <<EOF
  ./xp-instance-runner witness 6000 100 100 &
+  ./xp-instance-runner witness2 6000 100 100 &
  ./xp-instance-runner orig 6000 100 100 &
  ./xp-instance-runner naive 6000 100 100 &
  ./xp-instance-runner rr 6000 100 100 &