yosys/tests/functional/run-test.sh

mirror of https://github.com/YosysHQ/yosys.git
#!/usr/bin/env bash
pytest -v -m "not smt and not rkt" "$@"
rewrite functional backend test code in python 2024-07-12 12:07:33 +02:00			`#!/usr/bin/env bash`
functional tests: run from make tests but not smtlib/rkt tests 2024-09-04 11:30:08 +02:00			`pytest -v -m "not smt and not rkt" "$@"`