tests/unsorted/multi_assert.sby

   1 [tasks]
   2 btormc
   3 pono
   4
   5 [options]
   6 mode bmc
   7 depth 5
   8 expect fail
   9
  10 [engines]
  11 btormc: btor btormc
  12 pono: btor pono
  13
  14 [script]
  15 read -sv multi_assert.v
  16 prep -top test
  17
  18 [file multi_assert.v]
  19 module test();
  20 always @* begin
  21 assert (1);
  22 assert (0);
  23 end
  24 endmodule