codeowners-verilog-ast/tests/functional/run-test.sh

#!/usr/bin/env bash
pytest -v -m "not smt and not rkt" "$@"
rewrite functional backend test code in python 2024-07-12 11:07:33 +01:00			`#!/usr/bin/env bash`
functional tests: run from make tests but not smtlib/rkt tests 2024-09-04 10:30:08 +01:00			`pytest -v -m "not smt and not rkt" "$@"`