blob: c24d7fb8c267c9b077b38cd29330adb631f72251 [file] [log] [blame]
read_verilog ../top.v
prep
select -assert-count 4 t:$dff