1 puts "TODO DEBUG_OCC24121 Debian60-64 Windows: Faulty OCC11081"
3 puts "========================"
5 puts "========================"
7 #######################################################################
8 # BRepExtrema_DistShapeShape misses one of two solutions
9 #######################################################################
11 set BugNumber OCC11081
15 line ll 6834.93 -4100 500 0 0 1
16 trim trll ll -1000 -500
18 restore [locate_data_file OCC11081.brep] section4100
19 set res_list [distmini dd tree section4100]
20 set res_length [llength ${res_list}]
21 puts "res_length = ${res_length}"
25 if { ${res_length} != 3 } {
26 puts "Faulty ${BugNumber}"
28 puts "OK ${BugNumber}"