occt/tests/bugs/fclasses/bug6143

puts "TODO OCC24156 MacOS: Faulty OCC6143"

puts "================"
puts "OCC1723"
puts "OCC2707"
puts "OCC6143"
puts "OCC12131"
puts "================"
puts ""
#######################################################################################
# OSD::SetSignal : not all FLT exceptions are caught
#######################################################################################

pload QAcommands

set BugNumber OCC6143

dsetsignal 1
set IsDone [catch {set aResult [OCC6143]} result]
dsetsignal

if { ${IsDone} != 0 } {
    puts "result = ${result}"
    puts "Faulty ${BugNumber}"
} else {
    if { [string first "TestExcept: Successfull completion" ${aResult} ] != -1 } {
	puts "OK ${BugNumber}"
    } else {
	puts "Faulty ${BugNumber}"
    }
}