Merge branch 'incremental' of ssh://plrg.ics.uci.edu/home/git/constraint_compiler...

diff --git a/src/Scripts/learnresultgen.sh b/src/Scripts/learnresultgen.sh
index 00a8b50eb3b8dc9a2136ccb89699a5edbb21f718..329b571443275e96f332573a7d811234395225f9 100755 (executable)
--- a/src/Scripts/learnresultgen.sh
+++ b/src/Scripts/learnresultgen.sh
@@ -2,7 +2,7 @@
 # ./learnresultgen.sh [sypet] [learning set = 1, 2, 3, etc.] [algorithm= 1, 2, 3, 4]
 set -e
 
-ulimit -m 31500000
+ulimit -m 31000000
 
 if [ "$#" -lt 3 ]; then
         echo "Illegal number of argument"

diff --git a/src/Scripts/runbench.sh b/src/Scripts/runbench.sh
index 3e498d2645a0c3b4cb60473356f0fdc65e72f688..db570dfd039b99f92047766ad23ca19b052e19ea 100755 (executable)
--- a/src/Scripts/runbench.sh
+++ b/src/Scripts/runbench.sh
@@ -16,7 +16,7 @@ BIN=./bin
 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
                RETCODE=$?