Bug fix for return value in runbench script
authorHamed Gorjiara <hgorjiar@uci.edu>
Wed, 13 Nov 2019 20:49:05 +0000 (12:49 -0800)
committerHamed Gorjiara <hgorjiar@uci.edu>
Wed, 13 Nov 2019 20:49:05 +0000 (12:49 -0800)
src/Scripts/runbench.sh

index 44e52bf..3e498d2 100755 (executable)
@@ -19,8 +19,9 @@ for d in $DUMP; do
        if [[ $d = *$1* ]]; then
                echo "Running: ./run.sh tunerrun "."$d $2 $3 out.out"
                ./run.sh tunerrun "."$d $2 $3 out.out
-               echo "Return code: $?"
-               if [ $? -eq 141 ]; then #Dump info when SAT Solver gets killed by OS ....
+               RETCODE=$?
+               echo "Return code: $RETCODE"
+               if [ $RETCODE -eq 141 ]; then #Dump info when SAT Solver gets killed by OS ....
                        echo "Satune got out of memory"
                        echo "deserializing $d ..."
                        echo "SAT Solving time: 400000000.0"