This commit is contained in:
Miodrag Milanovic 2026-03-25 09:49:44 +01:00
parent 31bf712059
commit b3e38daedb
2 changed files with 0 additions and 7 deletions

View File

@ -1 +0,0 @@
export YOSYS_MAX_THREADS=4

View File

@ -1,6 +0,0 @@
#!/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" "$@"