This is an automatically generated file.
Part 1
Part 2
if no_oflow_except:
overflow_threshold = no_trap_overflow_threshold(big_B, less_big_B)
else:
overflow_threshold = trap_overflow_threshold(big_B)
print("Computed overflow_threshold = {:0.17e} .".format(overflow_threshold))
if no_oflow_except:
print("Overflow saturates at pos_big_B = {:0.17e} .".format(pos_big_B))
else:
print("There is no saturation value because " +
"the system traps on overflow.")
Part 3
print("----Starting overflow watch.----")
print("No Overflow should be signaled for overflow_threshold * 1 = ", end="")
v = overflow_threshold * ONE
print("{:0.17e}".format(v))
print(" nor for overflow_threshold / 1 = ", end="")
v = overflow_threshold / ONE
print("{:0.17e} .".format(v))
print("Any overflow signal during this watch is a DEFECT.")
print("----End of overflow watch.---")
Part 4