tests/unsorted/preunsat.sby

   1 [tasks]
   2 btormc
   3 yices
   4
   5 [options]
   6 mode bmc
   7 yices: expect error
   8 btormc: expect pass
   9
  10 [engines]
  11 btormc: btor btormc
  12 yices: smtbmc yices
  13
  14 [script]
  15 read -sv test.sv
  16 prep -top test
  17
  18 [file test.sv]
  19 module test(input foo);
  20 always @* assume(0);
  21 always @* assert(foo);
  22 endmodule