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