X-Git-Url: https://fleuret.org/cgi-bin/gitweb/gitweb.cgi?p=folded-ctf.git;a=blobdiff_plain;f=run.sh;h=13f3a8e9b7eba18b6173e46d865c00f5235fca8f;hp=3a90f56a681b0bab6001c0da9afa5d271bc3694b;hb=4953a336630d0ee905c949bf1fe846b85cabb744;hpb=d922ad61d35e9a6996730bec24b16f8bf7bc426c

diff --git a/run.sh b/run.sh
index 3a90f56..13f3a8e 100755
--- a/run.sh
+++ b/run.sh
@@ -23,8 +23,14 @@ MAIN_URL="http://www.idiap.ch/folded-ctf"
 
 make -j -k
 
+if [[ $? != 0 ]]; then
+    echo "Compilation failed." >&2
+    exit 1
+fi
+
 echo
 
+######################################################################
 # Generating the pool file
 
 DATA_PATH=./rmk-data
@@ -64,12 +70,13 @@ if [[ -d ${DATA_PATH} ]]; then
 
 else
 
-    echo "Can not find the RateMyKitten images in ${DATA_PATH}. You can" >&2
-    echo "download them from ${MAIN_URL}" >&2
+    echo "Can not find the RateMyKitten images in ${DATA_PATH}. You can download" >&2
+    echo "them from ${MAIN_URL}" >&2
     exit 1
 
 fi
 
+######################################################################
 # Running the computation per se
 
 RESULT_DIR=./results
@@ -94,12 +101,14 @@ for SEED in {0..9}; do
                 OPTS="${OPTS} --force-head-belly-independence=yes"
             fi
 
-            if [[ $1 == "light" ]]; then
+            if [[ $1 == "valgrind" ]]; then
                 OPTS="${OPTS} --nb-classifiers-per-level=1 --nb-weak-learners-per-classifier=10"
-                OPTS="${OPTS} --proportion-for-train=0.1 --proportion-for-validation=0.1 --proportion-for-test=0.1"
+                OPTS="${OPTS} --proportion-for-train=0.1 --proportion-for-validation=0.025 --proportion-for-test=0.01"
+                OPTS="${OPTS} --wanted-true-positive-rate=0.1"
+                DEBUGGER="valgrind --db-attach=yes --leak-check=full --show-reachable=yes"
             fi
 
-            ./folding \
+            ${DEBUGGER} ./folding \
                 --niceness=15 \
                 --pool-name=${POOL_NAME} \
                 --nb-levels=2 \