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