blob: 9f5200ced20085beeb4815c896182275f584cad4 [file]
read_verilog ../top.v
mutate -list 512 -o mutate.ys
script mutate.ys
tee -o result.log dump