tests/keepgoing_smtc.sby

   1 [options]
   2 mode bmc
   3 expect fail
   4
   5 [engines]
   6 smtbmc --keep-going boolector -- --smtc src/extra.smtc
   7
   8 [script]
   9 read -sv keepgoing_same_step.sv
  10 prep -top test
  11
  12 [files]
  13 keepgoing_same_step.sv
  14
  15 [file extra.smtc]
  16 state 2
  17 assert false
  18 always
  19 assert (distinct [counter] #b00000111)