diff --git a/drs_benchmark.sh b/drs_benchmark.sh index cd69944..42f9bf7 100755 --- a/drs_benchmark.sh +++ b/drs_benchmark.sh @@ -4,7 +4,7 @@ TMPINPUT="tmp_$RANDOM$RANDOM.rs" CMD="./reactics -b -B" -for i in `seq 2 10`;do +for i in `seq 2 20`;do echo "[i] n=$i; generating input file" in/gen_drs_mutex.py $i > $TMPINPUT @@ -32,4 +32,4 @@ done rm -f $TMPINPUT -# EOF \ No newline at end of file +# EOF