Add a simple runner

This commit is contained in:
Quentin Dufour 2019-04-23 16:17:42 +02:00
parent 2733f13fe9
commit de2a2a25ce

14
scripts/run-seq Normal file
View file

@ -0,0 +1,14 @@
#!/bin/bash
WAITFOR=1800 # 30min
for i in {1..60}; do
timeout $WAITFOR bash <<EOF
./xp-instance-runner witness 6000 100 100 &
./xp-instance-runner orig 6000 100 100 &
./xp-instance-runner naive 6000 100 100 &
./xp-instance-runner rr 6000 100 100 &
./xp-instance-runner rrh 6000 100 100 &
wait;
EOF
done