2024-07-12 12:07:33 +02:00
|
|
|
#!/usr/bin/env bash
|
2025-11-27 22:57:35 +01:00
|
|
|
source ../common-env.sh
|
2025-11-30 01:08:42 +01:00
|
|
|
|
|
|
|
|
SCRIPT_DIR=$( cd -- "$( dirname -- "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )
|
|
|
|
|
|
|
|
|
|
pytest -v -m "not smt and not rkt" "$SCRIPT_DIR" "$@"
|