From: Clifford Wolf <clifford@clifford.at>
Date: Fri, 16 Aug 2019 12:22:46 +0000 (+0200)
Subject: Do not use Verific in tests/various/write_gzip.ys
X-Git-Tag: working-ls180~1140
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=40c40d9f5d87e1f88d1dec767173d499a3e3c216;p=yosys.git

Do not use Verific in tests/various/write_gzip.ys

Signed-off-by: Clifford Wolf <clifford@clifford.at>
---

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