tests/boolean/bfuse_complex/K5

   1 # Original bug : buc60116
   2 # Date : 12June98
   3
   4 restore [locate_data_file CTO904_buc60116a.rle] a
   5 restore [locate_data_file buc60116b.rle] b
   6
   7 bfuse result a b
   8
   9 checkprops result -s 224496