diff --git a/docs/source/yosys_internals/extending_yosys/test_suites.rst b/docs/source/yosys_internals/extending_yosys/test_suites.rst
index eeee863aa..81a79e77f 100644
--- a/docs/source/yosys_internals/extending_yosys/test_suites.rst
+++ b/docs/source/yosys_internals/extending_yosys/test_suites.rst
@@ -79,26 +79,6 @@ compiler versions.  For up to date information, including OS versions, refer to
 .. _Yosys Git repo: https://github.com/YosysHQ/yosys
 .. _the git actions page: https://github.com/YosysHQ/yosys/actions
 
-Functional backend testing
---------------------------
-
-Testing of the functional backend is controlled by the
-``ENABLE_FUNCTIONAL_TESTS`` make variable.  Setting it to a value of ``1``,
-either when calling ``make test`` or in your ``Makefile.conf`` file, will enable
-these additional tests.
-
-.. note::
-
-   The functional backend tests requires additional prerequisites to be
-   installed:
-
-   - racket and z3, available via ``apt-get`` or similar.
-   - pytest and pytest-xdist, available via ``pip``; pytest-xdist-gnumake is
-     also recommended.
-   - rosette, available via ``raco`` (after installing racket).
-
-.. todo:: are unit tests currently working
-
 ..
    How to add a unit test
    ----------------------
diff --git a/tests/functional/run-test.sh b/tests/functional/run-test.sh
index 03e3b60f8..9f70462ee 100755
--- a/tests/functional/run-test.sh
+++ b/tests/functional/run-test.sh
@@ -1,2 +1,2 @@
 #!/usr/bin/env bash
-pytest -v -n auto "$@" --steps 100
+pytest -v -m "not smt and not rkt" "$@"