[occt.git] / tests / bugs / modalg_3 / bug5805_50

puts "============"
puts "OCC5805"
puts "============"

#######################################################################
# BRepOffsetAPI_MakeThickSolid behaves unstably and produces very different results.
#######################################################################

set BugNumber OCC5805

# pcone
pcone s 30 5 20
explode s sh
renamevar s_1 s

set distance -0.5
catch { OFFSETSHAPE $distance {s_2} $calcul $type }


checkprops result -s 12150
checkshape result
checknbshapes result -vertex 4 -edge 6 -wire 6 -face 5 -shell 1 -solid 1 -compsolid 0 -compound 0 -shape 23

set index [lsearch [whatis s] Closed]
if {$index == -1} {
  puts "Faulty ${BugNumber} : s is not Closed shape"
  
}

set index [lsearch [whatis result] Closed]
if {$index == -1} {
  puts "Faulty ${BugNumber} : result is not Closed shape"
  
}


checkview -display result -2d -path ${imagedir}/${test_image}.png
Commit	Line	Data
3bea4c16	1	puts "============"
	2	puts "OCC5805"
	3	puts "============"
	4
	5	#######################################################################
	6	# BRepOffsetAPI_MakeThickSolid behaves unstably and produces very different results.
	7	#######################################################################
	8
	9	set BugNumber OCC5805
	10
	11	# pcone
	12	pcone s 30 5 20
27a66128	13	explode s sh
27a66128	14	renamevar s_1 s
3bea4c16	15
	16	set distance -0.5
	17	catch { OFFSETSHAPE $distance {s_2} $calcul $type }
	18
	19
58cf74e0	20	checkprops result -s 12150
58cf74e0	21	checkshape result
a4eba920	22	checknbshapes result -vertex 4 -edge 6 -wire 6 -face 5 -shell 1 -solid 1 -compsolid 0 -compound 0 -shape 23
3bea4c16	23
	24	set index [lsearch [whatis s] Closed]
	25	if {$index == -1} {
	26	puts "Faulty ${BugNumber} : s is not Closed shape"
	27
	28	}
	29
	30	set index [lsearch [whatis result] Closed]
	31	if {$index == -1} {
	32	puts "Faulty ${BugNumber} : result is not Closed shape"
	33
	34	}
	35
	36
5747059b	37	checkview -display result -2d -path ${imagedir}/${test_image}.png