b58dfc5e |
1 | puts "TODO DEBUG_OCC24121 Debian60-64 Windows: OCC23031: Faulty" |
2 | |
809eca9d |
3 | puts "========" |
4 | puts "OCC23031" |
5 | puts "========" |
6 | puts "" |
7 | ########################################################### |
8 | # Empty result for the extrema between a circle and a line. |
9 | ########################################################### |
10 | |
11 | set BugNumber OCC23031 |
12 | |
13 | |
14 | restore [locate_data_file OCC23031-b1.brep] b1 |
15 | restore [locate_data_file OCC23031-b2.brep] b2 |
16 | |
17 | mkcurve c1 b1 |
18 | mkcurve c2 b2 |
19 | |
20 | set extrema_res [extrema c1 c2] |
21 | set extrema_length [llength ${extrema_res} ] |
22 | |
23 | if {${extrema_length} != 1 } { |
24 | puts "${BugNumber}: Faulty" |
25 | } else { |
26 | puts "${BugNumber}: OK" |
27 | } |
28 | |
29 | set 3dviewer 0 |
30 | |