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" "$@"