tests/junit/junit_nocodeloc.sby

   1 [options]
   2 mode bmc
   3
   4 expect fail
   5
   6 [engines]
   7 smtbmc boolector
   8
   9 [script]
  10 read -sv multi_assert.v
  11 prep -top test
  12 setattr -unset src
  13
  14 [file multi_assert.v]
  15 module test();
  16 always @* begin
  17 assert (1);
  18 assert (0);
  19 end
  20 endmodule