src/Testcases/YosysTests/misc/scripts/mutate_all.ys - third_party/Surelog - Git at Google


            
            read_verilog ../top.v

            
            mutate -list 512 -o mutate.ys

            
            script mutate.ys

            
            tee -o result.log dump
	read_verilog ../top.v
	mutate -list 512 -o mutate.ys
	script mutate.ys
	tee -o result.log dump