diff options
| author | Miodrag Milanovic <mmicko@gmail.com> | 2023-02-23 14:58:02 +0100 |
|---|---|---|
| committer | Miodrag Milanovic <mmicko@gmail.com> | 2023-02-27 09:24:04 +0100 |
| commit | 53a4f0fb56f298880c9b91dfa8c2e69a383cd5bc (patch) | |
| tree | 44ee5c89586f8f6e0c9a4a6a8bb6af913ac2fd5f /tests/verific/run-test.sh | |
| parent | a30894e5facf9d0f3e814a4c00e376000d3eed6c (diff) | |
| download | yosys-53a4f0fb56f298880c9b91dfa8c2e69a383cd5bc.tar.gz yosys-53a4f0fb56f298880c9b91dfa8c2e69a383cd5bc.tar.bz2 yosys-53a4f0fb56f298880c9b91dfa8c2e69a383cd5bc.zip | |
Add test example
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 |