Merge branch 'incremental' of ssh://plrg.ics.uci.edu/home/git/constraint_compiler...
authorHamed Gorjiara <hgorjiar@uci.edu>
Wed, 13 Nov 2019 20:49:19 +0000 (12:49 -0800)
committerHamed Gorjiara <hgorjiar@uci.edu>
Wed, 13 Nov 2019 20:49:19 +0000 (12:49 -0800)
1  2 
src/Scripts/runbench.sh

@@@ -16,12 -16,11 +16,12 @@@ BIN=./bi
  DUMP=$(find . -name "*.dump")
  cd $BIN
  for d in $DUMP; do
-       if [[ $d = *$1* ]]; then
+       if [[ $d = *$1* ]] && [[ $d = *learningset* ]]; 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"