puts "TODO OCC12345 ALL: Error : The length of result shape is"
puts "TODO OCC12345 ALL: Error :  is WRONG because number of"

puts "========================"
puts " OCC248 "
puts "========================"

#################################################
## puts "  BOPTUC      case_8_solid.brep and case_8_wire6.brep"
#################################################
 puts " " 
restore [locate_data_file OCC247a.brep] a
restore [locate_data_file OCC248b.brep] b
puts [bop a b]
puts [boptuc result]

checknbshapes result -vertex 8 -edge 8
checkprops result -l 0 
checkshape result 
checksection result
checkview -display result -2d -path ${imagedir}/${test_image}.png
 