From b3e38daedb2f1df085243373cb08af431d6cf270 Mon Sep 17 00:00:00 2001 From: Miodrag Milanovic Date: Wed, 25 Mar 2026 09:49:44 +0100 Subject: [PATCH] Cleanup --- tests/common-env.sh | 1 - tests/functional/run-test.sh | 6 ------ 2 files changed, 7 deletions(-) delete mode 100644 tests/common-env.sh delete mode 100755 tests/functional/run-test.sh diff --git a/tests/common-env.sh b/tests/common-env.sh deleted file mode 100644 index f3a411280..000000000 --- a/tests/common-env.sh +++ /dev/null @@ -1 +0,0 @@ -export YOSYS_MAX_THREADS=4 diff --git a/tests/functional/run-test.sh b/tests/functional/run-test.sh deleted file mode 100755 index 7c38f3190..000000000 --- a/tests/functional/run-test.sh +++ /dev/null @@ -1,6 +0,0 @@ -#!/usr/bin/env bash -source ../common-env.sh - -SCRIPT_DIR=$( cd -- "$( dirname -- "${BASH_SOURCE[0]}" )" &> /dev/null && pwd ) - -pytest -v -m "not smt and not rkt" "$SCRIPT_DIR" "$@"