puts "============"
puts "OCC6725"
puts "============"
puts ""
######################################################
# Application crashed with "Segmentation Fault" message. Red Hat Linux 8.0
######################################################

set BugNumber OCC6725

restore [locate_data_file OCC6725.brep] result

set text [incmesh result 0.01]
set last [lindex $text end]
set r [string compare $last Failure]

set status1 0
if {$r == 0} {
   set status1 1
}

checkprops result -s 624989 
checkshape result

checknbshapes result -vertex 3806 -edge 3808 -wire 756 -face 730 -shell 0 -solid 0 -compsolid 0 -compound 1 -shape 9101
if { ${status1} != 0} {
   puts "Faulty ${BugNumber}"
} else {
   puts "OK ${BugNumber}"
}

vinit
tclean result
vsetdispmode 1
vdisplay result
vfit

checkview -screenshot -3d -path ${imagedir}/${test_image}.png