mirror of
https://github.com/YosysHQ/yosys
synced 2025-04-07 09:55:20 +00:00
Do not use Verific in tests/various/write_gzip.ys
Signed-off-by: Clifford Wolf <clifford@clifford.at>
This commit is contained in:
parent
bb37a20e8d
commit
40c40d9f5d
|
@ -1,4 +1,4 @@
|
||||||
read -vlog2k <<EOT
|
read_verilog <<EOT
|
||||||
module top(input a, output y);
|
module top(input a, output y);
|
||||||
assign y = !a;
|
assign y = !a;
|
||||||
endmodule
|
endmodule
|
||||||
|
@ -10,7 +10,7 @@ design -reset
|
||||||
|
|
||||||
! rm -f write_gzip.v
|
! rm -f write_gzip.v
|
||||||
! gunzip write_gzip.v.gz
|
! gunzip write_gzip.v.gz
|
||||||
read -vlog2k write_gzip.v
|
read_verilog write_gzip.v
|
||||||
! rm -f write_gzip.v
|
! rm -f write_gzip.v
|
||||||
hierarchy -top top
|
hierarchy -top top
|
||||||
select -assert-any top
|
select -assert-any top
|
||||||
|
|
Loading…
Reference in a new issue