puts "=========="
puts "PRO19424"
puts "=========="

restore [locate_data_file pro19424a.brep] b 
checkshape b
restore [locate_data_file pro19424b.brep] p
checkshape p

if [catch {evolved result b p o } catch_result] {
  puts "Faulty PRO19424 : function EVOLVED works wrongly"
} else {
  puts "PRO19424 OK: function EVOLVED works properly"
}

set square 246.506
set 2dviewer 0