improved the configure script a bit

docker/bashrc

@@ -3,7 +3,7 @@ function csv_viewer {
 }
 alias configure_default="/trainbenchmark/scripts/configure.sh 1 1024 900 10"
 alias configure_medium="/trainbenchmark/scripts/configure.sh 8 256 60 5"
-alias configure_small="/trainbenchmark/scripts/configure.sh 1 128 20 2"
+alias configure_small="/trainbenchmark/scripts/configure.sh 1 32 20 3"
 
 alias doc_motd="bash /trainbenchmark/docs/motd"
 alias doc_basic="bash /trainbenchmark/docs/basic"

trainbenchmark/scripts/configure.sh

@@ -15,11 +15,15 @@ then
     echo "Default is: ./scripts/configure.sh 1 1024 900 10"
     exit 1
 fi
-
+echo "Configuring the source with:"
+echo "minSize: $MINSIZE"
+echo "maxSize: $MAXSIZE"
+echo "timeout: $TIMEOUT"
+echo "runs: $RUNS"
 echo -e "\\033[1;96mRemember that this only configures and initializes. Further steps:"
 echo -e "\\033[1;91mGenerate:"
 echo -e "\\033[0m  if not yet done run ./gradlew generate"
-echo "     maxSize 1024 -> ~40GB of data"
+echo "     but beware: maxSize 1024 -> ~40GB of data"
 echo -e "\\033[1;91mBenchmark:"
 echo -e "\\033[0m  ./gradlew individualInjectBenchmark"
 echo "  ./gradlew individualRepairBenchmark"