tests/boolean/bcut_complex/F1

   1 # Original bug : cts17785
   2 # Date : 18mar98
   3
   4 restore [locate_data_file cts17785-part.rle] part
   5 restore [locate_data_file cts17785-tool.rle] tool
   6
   7 bcut result part tool
   8
   9
  10 checkprops result -s 56064.6