tests/unsorted/memory.sby

   1 [tasks]
   2 btormc
   3 pono
   4
   5 [options]
   6 mode bmc
   7 depth 10
   8 expect fail
   9
  10 [engines]
  11 btormc: btor btormc
  12 pono: btor pono
  13
  14 [script]
  15 read -formal memory.sv
  16 prep -top testbench
  17
  18 [files]
  19 memory.sv