update kontrol performance script for new setup

Author: jberthold

scripts/performance-tests-kontrol.sh

@@ -66,6 +66,11 @@ while [[ $# -gt 0 ]]; do
       BUG_REPORT="--bug-report --bug-report-dir $SCRIPT_DIR/bug-reports/kontrol-$KONTROL_VERSION-$FEATURE_BRANCH_NAME"
       shift # past argument
       ;;
+    --use-all-tests)
+      echo "Truncating file 'foundry-prove-skip', which has $(wc -l src/tests/integration/test-data/foundry-prove-skip) lines..."
+      echo "" > ./src/tests/integration/test-data/foundry-prove-skip
+      shift
+      ;;
     -*|--*)
       echo "Unknown option $1"
       exit 1
@@ -104,7 +109,7 @@ master_shell() {
 }
 
 # kompile Kontrol's K dependencies
-feature_shell "poetry install && poetry run kdist --verbose build evm-semantics.plugin evm-semantics.haskell kontrol.foundry --jobs 4"
+feature_shell "poetry install && poetry run kdist --verbose build evm-semantics.plugin evm-semantics.haskell kontrol.* --jobs 4"
 
 # kompile the test contracts, to be reused in feature_shell and master_shell. Copy the result from pytest's temp directory
 PYTEST_TEMP_DIR=$TEMPD/pytest-temp-dir