test_passing_function.adb running, n= 10 xmin= 1.00000, xmax= 2.00000 area= 2.335000 test_passing_function.adb finished