tests/rpc/exec.ys - third_party/yosys - Git at Google


            
            connect_rpc -exec python3 frontend.py stdio

            
            read_verilog design.v

            
            hierarchy -top top

            
            flatten

            
            select -assert-count 1 t:$neg
	connect_rpc -exec python3 frontend.py stdio
	read_verilog design.v
	hierarchy -top top
	flatten
	select -assert-count 1 t:$neg