b58dfc5e |
1 | puts "TODO DEBUG_OCC24121 Debian60-64 Windows: Faulty OCC11081" |
2 | |
3bea4c16 |
3 | puts "========================" |
4 | puts "OCC11081" |
5 | puts "========================" |
6 | puts "" |
7 | ####################################################################### |
8 | # BRepExtrema_DistShapeShape misses one of two solutions |
9 | ####################################################################### |
10 | |
11 | set BugNumber OCC11081 |
12 | |
13 | # infinite line is used |
14 | |
15 | line ll 6834.93 -4100 500 0 0 1 |
16 | mkedge ee ll |
17 | restore [locate_data_file OCC11081.brep] section4100 |
18 | distmini dd ee section4100 |
19 | set res_list [distmini dd ee section4100] |
20 | set res_length [llength ${res_list}] |
21 | puts "res_length = ${res_length}" |
22 | |
23 | # Resume |
24 | puts "" |
25 | if { ${res_length} != 3 } { |
26 | puts "Faulty ${BugNumber}" |
27 | } else { |
28 | puts "OK ${BugNumber}" |
29 | } |
30 | |