tests/prv32fmcmp.sby

   1 [tasks]
   2 btormc
   3 pono
   4
   5 [options]
   6 mode bmc
   7 expect fail
   8
   9 [engines]
  10 btormc: btor btormc
  11 pono: btor pono
  12
  13 [script]
  14 read -noverific
  15 read -sv picorv32.v
  16 read -sv prv32fmcmp.v
  17 prep -top prv32fmcmp
  18
  19 [files]
  20 ../extern/picorv32.v
  21 prv32fmcmp.v