tests/keepgoing/keepgoing_same_step.sby

   1 [options]
   2 mode bmc
   3 expect fail
   4
   5 [engines]
   6 smtbmc --keep-going boolector
   7
   8 [script]
   9 read -sv keepgoing_same_step.sv
  10 prep -top test
  11
  12 [files]
  13 keepgoing_same_step.sv