This is an automatically generated file.

Part 1

Part 2

milestone = 50  # ==============================
test_cond(err_failure, (ONE_MINUS_ULP + ULP_OF_ONE_MINUS) - ONE_HALF == ONE_HALF
          and (B_MINUS_ULP + ULP_OF_ONE_PLUS) - ONE == B - ONE,
          "Incomplete carry-propagation in Addition")

Part 3