puts "TODO OCC12345 ALL: Error :  is WRONG because number of "
puts "============"
puts "OCC13186"
puts "============"
puts ""
#######################################################################
# Problem with Boolean operation
# Bug is reprodused on Linux platform only
#######################################################################

restore [locate_data_file OCC13186_cutcyl11.brep] b1
restore [locate_data_file OCC13186_sphere.brep] b2

bop b1 b2
boptuc result

checkprops result -s 58.0624 
checkshape result
checknbshapes result -vertex 10 -edge 14 -wire 8 -face 6 -shell 1 -solid 1 -compsolid 0 -compound 1 -shape 41
set 2dviewer 0