src/ieee754/fpmax/formal/proof.sby

   1 [options]
   2 mode bmc
   3 depth 5
   4
   5 [engines]
   6 smtbmc yices
   7
   8 [script]
   9 read_ilang proof.il
  10 prep -top top
  11
  12 [files]
  13 proof.il