tests/boolean/bfuse_complex/H7

   1 # Original bug : cts20486
   2 # Date : 13Mai98
   3 # B6
   4
   5 restore [locate_data_file cts20486a.rle] a
   6 restore [locate_data_file cts20486b.rle] b
   7 restore [locate_data_file cts20486c.rle] c
   8
   9 bfuse result a b
  10
  11 # OK
  12
  13 bfuse result a c
  14
  15 # KO
  16
  17 set square 168515