5 ######################################################
6 # Boolean operations (section, fuse, common, cut) give incorrect result
7 ######################################################
11 restore [locate_data_file OCC14780_part1.brep] s1
12 restore [locate_data_file OCC14780_part2.brep] s2
17 regexp {nb alone Vertices +: +([-0-9.+eE]+)} [checksection result] full Vertices
20 if { ${Vertices} != ${good_Vertices} } {
21 puts "Faulty ${BugNumber}"
23 puts "OK ${BugNumber}"