tests/various/hierarchy_defer.ys

   1 read -noverific
   2 read -vlog2k <<EOT
   3 module first;
   4 endmodule
   5
   6 (* top *)
   7 module top(input i, output o);
   8 sub s0(i, o);
   9 endmodule
  10
  11 (* constant_expression=1+1?2*2:3/3 *)
  12 module sub(input i, output o);
  13 assign o = ~i;
  14 endmodule
  15 EOT
  16 design -save read
  17
  18 hierarchy -auto-top
  19 select -assert-any top
  20 select -assert-any sub
  21 select -assert-none foo
  22
  23 design -load read
  24 hierarchy
  25 select -assert-any top
  26 select -assert-any sub
  27 select -assert-none foo