updated configurations to add winning region in synthesis ones

gaperez64 · May 25, 2016 · 1d2189b · 1d2189b
1 parent 6e89180
commit 1d2189b
Show file tree

Hide file tree

Showing 6 changed files with 24 additions and 6 deletions.
diff --git a/par_synth_conf1.sh b/par_synth_conf1.sh
@@ -1,11 +1,14 @@
 #!/bin/bash
 DIR=`dirname $0`/
 # $1 contains the input filename (the name of the AIGER-file).
-COMMAND="${DIR}binary/abssynthe -p $1 -o $1-result.aag"
+COMMAND="${DIR}binary/abssynthe -p $1 -o $1-result.aag -w $1-wregion.aag"
 $COMMAND
 res=$?
 if [[ $res == 10 ]]; then
+    echo "REALIZABLE"
     cat "$1-result.aag"
+    echo "WINNING_REGION"
+    cat "$1-wregion.aag"
 else
     echo "UNREALIZABLE"
 fi

diff --git a/par_synth_conf2.sh b/par_synth_conf2.sh
@@ -1,11 +1,14 @@
 #!/bin/bash
 DIR=`dirname $0`/
 # $1 contains the input filename (the name of the AIGER-file).
-COMMAND="${DIR}binary/abssynthe -p -s $1 -o $1-result.aag"
+COMMAND="${DIR}binary/abssynthe -p -s $1 -o $1-result.aag -w $1-wregion.aag"
 $COMMAND
 res=$?
 if [[ $res == 10 ]]; then
+    echo "REALIZABLE"
     cat "$1-result.aag"
+    echo "WINNING_REGION"
+    cat "$1-wregion.aag"
 else
     echo "UNREALIZABLE"
 fi

diff --git a/par_synth_conf3.sh b/par_synth_conf3.sh
@@ -1,11 +1,14 @@
 #!/bin/bash
 DIR=`dirname $0`/
 # $1 contains the input filename (the name of the AIGER-file).
-COMMAND="${DIR}binary/abssynthe -a -p -s $1 -o $1-result.aag"
+COMMAND="${DIR}binary/abssynthe -a -p -s $1 -o $1-result.aag -w $1-wregion.aag"
 $COMMAND
 res=$?
 if [[ $res == 10 ]]; then
+    echo "REALIZABLE"
     cat "$1-result.aag"
+    echo "WINNING_REGION"
+    cat "$1-wregion.aag"
 else
     echo "UNREALIZABLE"
 fi

diff --git a/seq_synth_conf1.sh b/seq_synth_conf1.sh
@@ -1,11 +1,14 @@
 #!/bin/bash
 DIR=`dirname $0`/
 # $1 contains the input filename (the name of the AIGER-file).
-COMMAND="${DIR}binary/abssynthe $1 -o $1-result.aag"
+COMMAND="${DIR}binary/abssynthe $1 -o $1-result.aag -w $1-wregion.aag"
 $COMMAND
 res=$?
 if [[ $res == 10 ]]; then
+    echo "REALIZABLE"
     cat "$1-result.aag"
+    echo "WINNING_REGION"
+    cat "$1-wregion.aag"
 else
     echo "UNREALIZABLE"
 fi

diff --git a/seq_synth_conf2.sh b/seq_synth_conf2.sh
@@ -1,11 +1,14 @@
 #!/bin/bash
 DIR=`dirname $0`/
 # $1 contains the input filename (the name of the AIGER-file).
-COMMAND="${DIR}binary/abssynthe -a $1 -o $1-result.aag"
+COMMAND="${DIR}binary/abssynthe -a $1 -o $1-result.aag -w $1-wregion.aag"
 $COMMAND
 res=$?
 if [[ $res == 10 ]]; then
+    echo "REALIZABLE"
     cat "$1-result.aag"
+    echo "WINNING_REGION"
+    cat "$1-wregion.aag"
 else
     echo "UNREALIZABLE"
 fi

diff --git a/seq_synth_conf3.sh b/seq_synth_conf3.sh
@@ -1,11 +1,14 @@
 #!/bin/bash
 DIR=`dirname $0`/
 # $1 contains the input filename (the name of the AIGER-file).
-COMMAND="${DIR}binary/abssynthe -a2048 -c 1 $1 -o $1-result.aag"
+COMMAND="${DIR}binary/abssynthe -a2048 -c 1 $1 -o $1-result.aag -w $1-wregion.aag"
 $COMMAND
 res=$?
 if [[ $res == 10 ]]; then
+    echo "REALIZABLE"
     cat "$1-result.aag"
+    echo "WINNING_REGION"
+    cat "$1-wregion.aag"
 else
     echo "UNREALIZABLE"
 fi