tests/keepgoing_multi_step.sby

   1 [tasks]
   2 bmc
   3 prove
   4
   5 [options]
   6 bmc: mode bmc
   7 prove: mode prove
   8 expect fail
   9
  10 [engines]
  11 smtbmc --keep-going boolector
  12
  13 [script]
  14 read -sv keepgoing_multi_step.sv
  15 prep -top test
  16
  17 [files]
  18 keepgoing_multi_step.sv