diff options
| author | David Shah <dave@ds0.me> | 2019-07-31 13:58:27 +0100 |
|---|---|---|
| committer | David Shah <dave@ds0.me> | 2019-08-06 17:43:04 +0100 |
| commit | 3a3da678ad0902ad0b16fe48cbb10053cd7dcb28 (patch) | |
| tree | 51aec1019478938e35ea0df0aeaec77b26c99017 | |
| parent | 27360ceda62691ab4f052f396a9174487076ce9a (diff) | |
| download | yosys-3a3da678ad0902ad0b16fe48cbb10053cd7dcb28.tar.gz yosys-3a3da678ad0902ad0b16fe48cbb10053cd7dcb28.tar.bz2 yosys-3a3da678ad0902ad0b16fe48cbb10053cd7dcb28.zip | |
Add test for writing gzip-compressed files
Signed-off-by: David Shah <dave@ds0.me>
| -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 |