yosys/tests/verific/run-test.sh

mirror of https://github.com/YosysHQ/yosys.git
#!/usr/bin/env bash
set -eu
source ../gen-tests-makefile.sh
generate_mk --yosys-scripts --bash
Add test example 2023-02-23 14:58:02 +01:00			`#!/usr/bin/env bash`
			`set -eu`
			`source ../gen-tests-makefile.sh`
test: restore verific handling, nicer naming 2024-12-13 10:24:47 +01:00			`generate_mk --yosys-scripts --bash`