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


            
            read_verilog ../top.v

            
            tee -o result.log plugin -l

            
            plugin -i uu -a alias

            
            tee -o result.log plugin -l
	read_verilog ../top.v
	tee -o result.log plugin -l
	plugin -i uu -a alias
	tee -o result.log plugin -l