diff options
| author | N. Engelhardt <nak@yosyshq.com> | 2023-02-27 16:04:11 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-02-27 16:04:11 +0100 |
| commit | 842cdad575f51c7f65f13fd50d8b94920197496c (patch) | |
| tree | cae6e9b966b47ada168bc21af8feb9df204652c6 /tests/verific/run-test.sh | |
| parent | 2ab3747cc95986e179453ca149508d3781a94a71 (diff) | |
| parent | 28c4aac234b878e7f466185ed67232738d69b8e2 (diff) | |
| download | yosys-842cdad575f51c7f65f13fd50d8b94920197496c.tar.gz yosys-842cdad575f51c7f65f13fd50d8b94920197496c.tar.bz2 yosys-842cdad575f51c7f65f13fd50d8b94920197496c.zip | |
Merge pull request #3674 from YosysHQ/fix_wide_case
Diffstat (limited to 'tests/verific/run-test.sh')
| -rwxr-xr-x | tests/verific/run-test.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tests/verific/run-test.sh b/tests/verific/run-test.sh new file mode 100755 index 000000000..2f91cf0fd --- /dev/null +++ b/tests/verific/run-test.sh @@ -0,0 +1,4 @@ +#!/usr/bin/env bash +set -eu +source ../gen-tests-makefile.sh +run_tests --yosys-scripts --bash |