1
0
mirror of synced 2026-05-12 18:14:11 +00:00
Files
YosysHQ.yosys/tests/functional/run-test.sh

5 lines
155 B
Bash
Executable File

#!/usr/bin/env bash
SCRIPT_DIR=$( cd -- "$( dirname -- "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )
pytest -v -m "not smt and not rkt" "$SCRIPT_DIR" "$@"