tests/unsorted/demo.sby

   1 [tasks]
   2 btormc
   3 pono
   4 cvc4
   5 cvc5
   6
   7 [options]
   8 mode bmc
   9 depth 100
  10 expect fail
  11
  12 [engines]
  13 btormc: btor btormc
  14 pono: btor pono
  15 cvc4: smtbmc cvc4
  16 cvc5: smtbmc cvc5
  17
  18 [script]
  19 read -formal demo.sv
  20 prep -top demo
  21
  22 [files]
  23 demo.sv