b58dfc5e |
1 | puts "TODO DEBUG_OCC24121 Debian60-64 Windows: Faulty OCC20683" |
2 | |
3bea4c16 |
3 | puts "========================" |
4 | puts "OCC20683" |
3bea4c16 |
5 | puts "========================" |
6 | puts "" |
7 | ####################################################################### |
8 | # BRepExtrema_ExtCC produces incomplete result. |
9 | ####################################################################### |
10 | |
11 | set BugNumber OCC20683 |
12 | |
13 | # finite line is used |
14 | line ll 6834.93 -4100 500 0 0 1 |
15 | trim trll ll -1000 -500 |
16 | mkedge tree trll |
17 | |
18 | restore [locate_data_file OCC20683_circ1.brep] e1 |
19 | restore [locate_data_file OCC20683_circ2.brep] e2 |
20 | |
21 | set res_list [distmini d e1 e2] |
22 | set res_length [llength ${res_list}] |
23 | puts "res_length = ${res_length}" |
24 | |
25 | # Resume |
26 | puts "" |
27 | if { ${res_length} != 3 } { |
28 | puts "Faulty ${BugNumber}" |
29 | } else { |
30 | puts "OK ${BugNumber}" |
31 | } |
32 | |