tests/boolean/bfuse_complex/M9

   1 # Original bug : hkg60155
   2 # Date : 16July98
   3
   4 restore [locate_data_file CTO904_hkg60155a.rle] a
   5 restore [locate_data_file CTO904_hkg60155b.rle] b
   6
   7 bfuse result a b
   8
   9 checkprops result -s 9367.3