def test_p_continue(average_size, max_size): assume(average_size <= max_size) p = cu._calc_p_continue(average_size, max_size) assert 0 <= target(p, label="p") <= 1 assert 0 < target(p, label="-p") or average_size < 1e-5 abs_err = abs(average_size - cu._p_continue_to_avg(p, max_size)) assert target(abs_err, label="abs_err") < 0.01
def test_p_continue_to_average(p_continue, max_size): average = cu._p_continue_to_avg(p_continue, max_size) assert 0 <= average <= max_size
def test_p_continue_to_average_saturates(): assert cu._p_continue_to_avg(1.1, 100) == 100