puts "TODO OCC24156 MacOS: Faulty OCC6143"

puts "================"
puts "0001723, 0002707, 0006143, 0012131"
puts "OSD::SetSignal : not all FLT e x c e p t i o n s are caught"
puts "================"
puts ""

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: Successful completion" ${aResult} ] != -1 } {
    puts "OK ${BugNumber}"
  } else {
    puts "Faulty ${BugNumber}"
  }
}
