tests/rpc/exec.ys

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