Remove gate on smt and rkt tests

as per https://github.com/YosysHQ/yosys/pull/5128#issuecomment-2896280647
2025-05-26 20:43:32 -07:00 · 2025-05-26 20:43:32 -07:00 · 9faa61dfc6
parent d8b27d41c0
commit 9faa61dfc6
1 changed files with 1 additions and 1 deletions
--- 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 "$@"