tests/boolean/bcut_complex/K8

   1 # Original bug : cts20551
   2 # Date : 4June98
   3
   4 restore [locate_data_file cts20551-part.rle] a
   5 restore [locate_data_file cts20551-tool.rle] b
   6
   7 bcut result a b
   8
   9 set square 430968