diff options
| author | David Shah <dave@ds0.me> | 2019-08-06 19:05:35 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-08-06 19:05:35 +0100 |
| commit | 8110fb9266e685aaea48359a5aebc4e5ac865240 (patch) | |
| tree | 51aec1019478938e35ea0df0aeaec77b26c99017 /tests | |
| parent | a4b59de5d48a89ba5e1b46eb44877a91ceb6fa44 (diff) | |
| parent | 3a3da678ad0902ad0b16fe48cbb10053cd7dcb28 (diff) | |
| download | yosys-8110fb9266e685aaea48359a5aebc4e5ac865240.tar.gz yosys-8110fb9266e685aaea48359a5aebc4e5ac865240.tar.bz2 yosys-8110fb9266e685aaea48359a5aebc4e5ac865240.zip | |
Merge pull request #1232 from YosysHQ/dave/write_gzip
Add support for writing gzip-compressed files
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/various/.gitignore | 2 | ||||
| -rw-r--r-- | tests/various/write_gzip.ys | 16 |
2 files changed, 18 insertions, 0 deletions
diff --git a/tests/various/.gitignore b/tests/various/.gitignore index 7b3e8c68e..31078b298 100644 --- a/tests/various/.gitignore +++ b/tests/various/.gitignore @@ -1,2 +1,4 @@ /*.log /*.out +/write_gzip.v +/write_gzip.v.gz diff --git a/tests/various/write_gzip.ys b/tests/various/write_gzip.ys new file mode 100644 index 000000000..030ec318e --- /dev/null +++ b/tests/various/write_gzip.ys @@ -0,0 +1,16 @@ +read -vlog2k <<EOT +module top(input a, output y); +assign y = !a; +endmodule +EOT + +prep -top top +write_verilog write_gzip.v.gz +design -reset + +! rm -f write_gzip.v +! gunzip write_gzip.v.gz +read -vlog2k write_gzip.v +! rm -f write_gzip.v +hierarchy -top top +select -assert-any top |