From 7dd57158c7875e8682d8a3b632b35a2c06ca0d86 Mon Sep 17 00:00:00 2001
From: Quentin Dufour <quentin@deuxfleurs.fr>
Date: Thu, 9 May 2019 14:24:02 +0200
Subject: [PATCH] Add a second witness

---
 scripts/run-seq | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/run-seq b/scripts/run-seq
index 7905d11..328481a 100755
--- 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 &