From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Wed, 13 Nov 2019 20:49:19 +0000 (-0800)
Subject: Merge branch 'incremental' of ssh://plrg.ics.uci.edu/home/git/constraint_compiler... 
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=5ccf3749ff1384aef34a39b3f55a14f023407cec;p=satune.git

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

5ccf3749ff1384aef34a39b3f55a14f023407cec
diff --cc src/Scripts/runbench.sh
index 3e498d2,2e47420..db570df
--- a/src/Scripts/runbench.sh
+++ b/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"