tests/boolean/boptuc_2d/K3

   1 restore [locate_data_file case_6_face.brep] a
   2 restore [locate_data_file case_4_wire1.brep] b
   3 bop a b
   4 boptuc result
   5 set length 1738.37
   6 set nbsh_v 13
   7 set nbsh_e 8