tests/bugs/heal/bug25712

   1 puts "========"
   2 puts "OCC25712"
   3 puts "========"
   4 puts ""
   5 ################################################
   6 # Non-deterministic behavior of ShapeFix_Solid
   7 ################################################
   8
   9 cpulimit 2500
  10
  11 set OK_shapes_1 177
  12 set OK_shapes_2 9
  13
  14 for {set i 1} {$i <= 100} {incr i} {
  15   restore [locate_data_file OCC25712_comp16.brep] c
  16   fixshape rc c
  17   explode rc
  18   explode rc_2
  19   set bug_info_1 [numshapes rc_2_1]
  20   set bug_info_2 [numshapes rc_2_2]
  21   if {[lindex $bug_info_1 31] != $OK_shapes_1} {
  22     puts "ERROR: OCC25712 is reprodced. rc_2_1 should has $OK_shapes_1 shapes, but has [lindex $bug_info_1 31] shapes."
  23   }
  24   if {[lindex $bug_info_2 31] != $OK_shapes_2} {
  25     puts "ERROR: OCC25712 is reprodced. rc_2_2 should has $OK_shapes_2 shapes, but has [lindex $bug_info_2 31] shapes."
  26   }
  27 }