tests/boolean/bfuse_complex/H3

   1 # Original bug : cts20457
   2 # Date : 13Mai98
   3 # A9.gif
   4
   5 restore [locate_data_file CTO902_cts20457a.rle] a
   6 restore [locate_data_file cts20457b.rle] b
   7
   8 bfuse result a b
   9
  10
  11
  12 checkprops result -s 26347.6