yosys/tests/svtypes/run-test.sh

mirror of https://github.com/YosysHQ/yosys.git
#!/usr/bin/env bash
set -eu
source ../gen-tests-makefile.sh
run_tests --yosys-scripts --prove-sv
sv: Add test scripts for typedefs Signed-off-by: David Shah <dave@ds0.me> 2019-09-20 07:00:26 -05:00			`#!/usr/bin/env bash`
tests: Centralize test collection and Makefile generation 2020-09-16 10:59:37 -05:00			`set -eu`
			`source ../gen-tests-makefile.sh`
			`run_tests --yosys-scripts --prove-sv`