tests/junit/junit_cover.sby

   1 [tasks]
   2 pass
   3 uncovered fail
   4 assert fail
   5 preunsat
   6
   7 [options]
   8 mode cover
   9 depth 1
  10
  11 pass: expect pass
  12 fail: expect fail
  13 preunsat: expect fail
  14
  15 [engines]
  16 smtbmc boolector
  17
  18 [script]
  19 uncovered: read -define FAIL
  20 assert: read -define FAIL_ASSERT
  21 preunsat: read -define PREUNSAT
  22 read -sv test.sv
  23 prep -top top
  24
  25 [file test.sv]
  26 module test(input foo);
  27 `ifdef PREUNSAT
  28 always @* assume(!foo);
  29 `endif
  30 always @* cover(foo);
  31 `ifdef FAIL
  32 always @* cover(!foo);
  33 `endif
  34 `ifdef FAIL_ASSERT
  35 always @* assert(!foo);
  36 `endif
  37 endmodule
  38
  39 module top();
  40 test test_i (
  41 .foo(1'b1)
  42 );
  43 endmodule