Merge branch 'distrib_rs' of bitbucket.org:rsmodecking/rsmc into distrib_rs

2018-10-14 16:38:02 +01:00
parent 76a6450583
commit e0603b3c9d
1 changed files with 1 additions and 1 deletions
--- a/drs_benchmark.sh
+++ b/drs_benchmark.sh
@@ -7,7 +7,7 @@ CMD="./reactics -zxbB"
 for i in `seq 2 9`;do

 	echo "[i] n=$i; generating input file"
-	in/gen_drs_mutex.py $i > $TMPINPUT
+	in/gen_tgc_sc.py $i > $TMPINPUT

 	for f in `seq 1 2`; do