yosys/tests/functional/run-test.sh

#!/usr/bin/env bash
source ../common-env.sh

SCRIPT_DIR=$( cd -- "$( dirname -- "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )

pytest -v -m "not smt and not rkt" "$SCRIPT_DIR" "$@"
rewrite functional backend test code in python 2024-07-12 12:07:33 +02:00			`#!/usr/bin/env bash`
Limit YOSYS_MAX_THREADS to 4 when running seed-tests 2025-11-27 22:57:35 +01:00			`source ../common-env.sh`
Make run-test work from anywhere 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" "$@"`