tests/unsorted/mixed.sby

   1 [tasks]
   2 cover
   3 btormc bmc
   4 pono bmc
   5
   6 [options]
   7 cover: mode cover
   8 bmc: mode bmc
   9 bmc: depth 1
  10
  11 [engines]
  12 cover: btor btormc
  13 btormc: btor btormc
  14 pono: btor pono
  15
  16 [script]
  17 read -formal mixed.v
  18 prep -top test
  19
  20 [files]
  21 mixed.v