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


            
            read_verilog ../top.v

            
            select -none

            
            tee -o result.log select -assert-none x

            
            proc

            
            select -none

            
            tee -o result.log select -assert-none x

            
            tee -o result.log select -list
	read_verilog ../top.v
	select -none
	tee -o result.log select -assert-none x
	proc
	select -none
	tee -o result.log select -assert-none x
	tee -o result.log select -list