now the virtual environment is not deleted any more, such that it can be reused for the succesive benchmark run

Author: reb-ddm

examples/benchmarks/incremental-KaSa/script_compare_working_set_size

@@ -240,7 +240,9 @@ for MODEL in "${MODELS[@]}"; do
     done
 done
 
-python3 -m venv ./temp_python_install
+if [ ! -d "temp_python_install" ]; then
+  python3 -m venv temp_python_install
+fi
 source ./temp_python_install/bin/activate
 pip3 install pandas -q
 pip3 install matplotlib -q
@@ -269,10 +271,11 @@ echo "📊 The latex table of the runtimes can be found in: $OUTPUT_LATEX_RUNTIM
 cmd=(python3 
     "${SCRIPT_DIR}/plot.py" "${OUTPUT_DIR}experiments_output_mean.csv" "${OUTPUT_DIR}runtimes"
     )
-printf '%q ' "${cmd[@]}"
-printf '\n'
+if $VERBOSE; then
+    printf '%q ' "${cmd[@]}"
+    printf '\n'
+fi
 { ${cmd[@]}; }
 echo "📈 The png plot of the runtimes can be found in: ${OUTPUT_DIR}runtimes.png"
 
-deactivate
-rm -rf ./temp_python_install
+deactivate

examples/benchmarks/incremental-KaSa/script_disable_and_add_rules

@@ -347,7 +347,9 @@ for MODEL in "${MODELS[@]}"; do
     echo "Results of the incremental analysis: $STDOUT_OUTPUT_FILE_INCREMENTAL"
 done
 
-python3 -m venv ./temp_python_install
+if [ ! -d "temp_python_install" ]; then
+  python3 -m venv temp_python_install
+fi
 source ./temp_python_install/bin/activate
 pip3 install pandas -q
 
@@ -376,4 +378,3 @@ fi
 echo "📊 The latex table of the runtimes can be found in: $OUTPUT_LATEX_RUNTIMES"
 
 deactivate
-rm -rf ./temp_python_install