tests/submod_props.sby

   1 [tasks]
   2 bmc
   3 cover
   4 flatten
   5
   6 [options]
   7 bmc: mode bmc
   8 cover: mode cover
   9 flatten: mode bmc
  10
  11 expect fail
  12
  13 [engines]
  14 smtbmc boolector
  15
  16 [script]
  17 read -sv test.sv
  18 prep -top top
  19 flatten: flatten
  20
  21 [file test.sv]
  22 module test(input foo);
  23 always @* assert(foo);
  24 always @* assert(!foo);
  25 always @* cover(foo);
  26 always @* cover(!foo);
  27 endmodule
  28
  29 module top();
  30 test test_i (
  31 .foo(1'b1)
  32 );
  33 endmodule