puts "========"
puts "OCC25712"
puts "========"
puts ""
################################################
# Non-deterministic behavior of ShapeFix_Solid
################################################

cpulimit 1000

set OK_shapes_1 177
set OK_shapes_2 9

for {set i 1} {$i <= 100} {incr i} {
  restore [locate_data_file OCC25712_comp16.brep] c
  fixshape rc c
  explode rc
  explode rc_2
  set bug_info_1 [numshapes rc_2_1]
  set bug_info_2 [numshapes rc_2_2]
  if {[lindex $bug_info_1 31] != $OK_shapes_1} {
    puts "ERROR: OCC25712 is reprodced. rc_2_1 should has $OK_shapes_1 shapes, but has [lindex $bug_info_1 31] shapes."
  }
  if {[lindex $bug_info_2 31] != $OK_shapes_2} {
    puts "ERROR: OCC25712 is reprodced. rc_2_2 should has $OK_shapes_2 shapes, but has [lindex $bug_info_2 31] shapes."
  }
}