updated configuration

gaperez64 · May 16, 2017 · 9d031ff · 9d031ff
1 parent bb3e7db
commit 9d031ff
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/par_synth_conf3.sh b/par_synth_conf3.sh
@@ -1,7 +1,7 @@
 #!/bin/bash
 DIR=`dirname $0`/
 # $1 contains the input filename (the name of the AIGER-file).
-COMMAND="${DIR}binary/abssynthe -a -p -m $1 -o $1-result.aag -w $1-wregion.aag"
+COMMAND="${DIR}binary/abssynthe -a -p -s -m $1 -o $1-result.aag -w $1-wregion.aag"
 $COMMAND
 res=$?
 if [[ $res == 10 ]]; then