tests/boolean/bfuse_complex/F3

   1 # Original bug : pro6110
   2 # Date : 24mar98
   3
   4 restore [locate_data_file CTO900_pro6110a.rle] a
   5 restore [locate_data_file CTO900_pro6110b.rle] b
   6
   7 bfuse result a b
   8
   9
  10 checkprops result -s 1.7431e+06