Skip to content

Verilog: use zero_extend_exprt #1799

Verilog: use zero_extend_exprt

Verilog: use zero_extend_exprt #1799