puts "========"
puts "OCC25465"
puts "========"
puts ""
################################################
# Excess vertex in the result of CUT operation
################################################

restore [locate_data_file OCC25465_Gorivo.brep] b1
restore [locate_data_file OCC25465_Translation_1.brep] b2

explode b1 f
explode b2 f
set bug_info [bopcurves b1_3 b2_4]
bop b1 b2
bopcut result

# It is strictly forbidden to change nb_v_good and nb_e_good values (see OCC25465)
set nb_v_good 11
set nb_e_good 17
set nb_w_good 8
set nb_f_good 8
set nb_sh_good 1
set nb_sol_good 1
set nb_compsol_good 0
set nb_compound_good 1
set nb_shape_good 47

if {[lindex $bug_info 2] != 3} {
  puts "ERROR: OCC25465 is reproduced."
}