From 9faa61dfc66a695565e48d634758aa11b1b58dee Mon Sep 17 00:00:00 2001
From: Gus Smith <guscomps@gmail.com>
Date: Mon, 26 May 2025 20:43:32 -0700
Subject: [PATCH] Remove gate on smt and rkt tests

as per
https://github.com/YosysHQ/yosys/pull/5128#issuecomment-2896280647
---
 tests/functional/run-test.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/functional/run-test.sh b/tests/functional/run-test.sh
index 9f70462ee..b9a0595f6 100755
--- a/tests/functional/run-test.sh
+++ b/tests/functional/run-test.sh
@@ -1,2 +1,2 @@
 #!/usr/bin/env bash
-pytest -v -m "not smt and not rkt" "$@"
+pytest -v "$@"