diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-08-16 14:22:46 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2019-08-16 14:22:46 +0200 |
| commit | 40c40d9f5d87e1f88d1dec767173d499a3e3c216 (patch) | |
| tree | beec09b473cc0550396bbfab41f6ed4380ecfb50 | |
| parent | bb37a20e8de55c1145af7c611eb657891d8825fb (diff) | |
| download | yosys-40c40d9f5d87e1f88d1dec767173d499a3e3c216.tar.gz yosys-40c40d9f5d87e1f88d1dec767173d499a3e3c216.tar.bz2 yosys-40c40d9f5d87e1f88d1dec767173d499a3e3c216.zip | |
Do not use Verific in tests/various/write_gzip.ys
Signed-off-by: Clifford Wolf <clifford@clifford.at>
| -rw-r--r-- | tests/various/write_gzip.ys | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tests/various/write_gzip.ys b/tests/various/write_gzip.ys index 030ec318e..524ecc33e 100644 --- a/tests/various/write_gzip.ys +++ b/tests/various/write_gzip.ys @@ -1,4 +1,4 @@ -read -vlog2k <<EOT +read_verilog <<EOT module top(input a, output y); assign y = !a; endmodule @@ -10,7 +10,7 @@ design -reset ! rm -f write_gzip.v ! gunzip write_gzip.v.gz -read -vlog2k write_gzip.v +read_verilog write_gzip.v ! rm -f write_gzip.v hierarchy -top top select -assert-any top |