diff options
Diffstat (limited to 'tests')
-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 |