puts "==================================================================================="
puts "OCC30158: Shape Healing - Incorrect result produced by ShapeUpgrade_UnifySameDomain"
puts "==================================================================================="
puts ""

restore [locate_data_file bug30158_2.brep] s
unifysamedom result s

checkshape result
checkshape s

checknbshapes result -solid 1 -shell 1 -face 6 -wire 6 -edge 12 -vertex 8

set tolres [checkmaxtol result]

if { ${tolres} > 1.51e-07} {
   puts "Error: bad tolerance of result"
}

checkprops result -v 48.3068