commit aecc354ee77f2e94d084c4e5bd19b57125db9e07
Author: David Goulet <dgoulet(a)ev0ke.net>
Date: Thu Feb 12 11:31:08 2015 -0500
Test: remove edge cases that assert in laplace test
Signed-off-by: David Goulet <dgoulet(a)ev0ke.net>
---
src/test/test_util.c | 87 --------------------------------------------------
1 file changed, 87 deletions(-)
diff --git a/src/test/test_util.c b/src/test/test_util.c
index 74d7227..21737f6 100644
--- a/src/test/test_util.c
+++ b/src/test/test_util.c
@@ -4178,29 +4178,6 @@ test_util_laplace(void *arg)
tt_assert((-35 + INT64_MAX) ==
add_laplace_noise(INT64_MAX, min_dbl_error,
noscale_df, noscale_eps));
- /* ... even when scaled? */
- tt_assert(INT64_MIN ==
- add_laplace_noise(0, min_dbl_error,
- INT64_MIN, -35));
- tt_assert(INT64_MIN ==
- add_laplace_noise(0, min_dbl_error,
- INT64_MIN, -34));
- tt_assert(INT64_MAX ==
- add_laplace_noise(0, min_dbl_error,
- INT64_MIN, 1));
- tt_assert((INT64_MIN + INT64_MAX) ==
- add_laplace_noise(INT64_MIN, min_dbl_error,
- INT64_MIN, 1));
- tt_assert(INT64_MAX ==
- add_laplace_noise(INT64_MAX, min_dbl_error,
- INT64_MIN, 1));
-
- tt_assert(INT64_MAX ==
- add_laplace_noise(0, min_dbl_error,
- INT64_MAX, -35));
- tt_assert(INT64_MAX ==
- add_laplace_noise(0, min_dbl_error,
- INT64_MAX, -34));
tt_assert(INT64_MIN ==
add_laplace_noise(0, min_dbl_error,
INT64_MAX, 1));
@@ -4244,81 +4221,17 @@ test_util_laplace(void *arg)
tt_assert(INT64_MAX ==
add_laplace_noise(INT64_MAX, max_dbl_lt_one,
delta_f, epsilon));
- tt_assert(INT64_MAX ==
- add_laplace_noise(0, max_dbl_lt_one,
- INT64_MAX, 35));
- tt_assert(INT64_MAX ==
- add_laplace_noise(0, max_dbl_lt_one,
- INT64_MAX, 34));
tt_assert((INT64_MIN + INT64_MAX) ==
add_laplace_noise(INT64_MIN, max_dbl_lt_one,
INT64_MAX, 1));
tt_assert(INT64_MAX ==
add_laplace_noise(INT64_MAX, max_dbl_lt_one,
INT64_MAX, 1));
- tt_assert((INT64_MAX + INT64_MIN) ==
- add_laplace_noise(INT64_MAX, max_dbl_lt_one,
- INT64_MIN, 1));
- tt_assert(INT64_MIN ==
- add_laplace_noise(INT64_MIN, max_dbl_lt_one,
- INT64_MIN, 1));
-
/* does it play nice with INT64_MIN? */
tt_assert((INT64_MIN + 35) ==
add_laplace_noise(INT64_MIN, max_dbl_lt_one,
noscale_df, noscale_eps));
- /* Test extreme values of b = delta_f / epsilon
- * >>> laplace.ppf([0.5], loc = 0, scale = 1)
- * array([0. ])
- */
-
- /* Make sure edge cases don't depend on architecture,
- * optimisation level, or other compiler flags.
- * XXXX Are these edge cases important enough to make consistent? */
-
- /* b = positive zero, p yields positive zero */
- tt_assert(0.0 ==
- add_laplace_noise(0.0, 0.5, 0.0, 1.0))
- /* b = negative zero, p yields positive zero */
- tt_assert(0.0 ==
- add_laplace_noise(0.0, 0.5, 0.0, -1.0))
- /* b = positive infinity, p yields positive zero, result is -NaN -> -Inf */
- tt_assert(INT64_MIN ==
- add_laplace_noise(0.0, 0.5, 1.0, 0.0))
- /* b = negative infinity, p yields positive zero, result is -NaN -> -Inf */
- tt_assert(INT64_MIN ==
- add_laplace_noise(0.0, 0.5, -1.0, 0.0))
- /* b = positive NaN (rounded to -Inf), p yields positive zero,
- * result is -NaN -> -Inf */
- tt_assert(INT64_MIN ==
- add_laplace_noise(0.0, 0.5, -0.0, -0.0))
- /* b = negative NaN (rounded to -Inf), p yields positive zero,
- * result is -NaN -> -Inf*/
- tt_assert(INT64_MIN ==
- add_laplace_noise(0.0, 0.5, -0.0, 0.0))
-
- /* b = positive zero, p yields negative infinity, result is -NaN -> -Inf */
- tt_assert(INT64_MIN ==
- add_laplace_noise(0.0, 0.0, 0.0, 1.0))
- /* b = negative zero, p yields negative infinity, result is -NaN -> -Inf */
- tt_assert(INT64_MIN ==
- add_laplace_noise(0.0, 0.0, 0.0, -1.0))
- /* b = positive infinity, p yields negative infinity */
- tt_assert(INT64_MIN ==
- add_laplace_noise(0.0, 0.0, 1.0, 0.0))
- /* b = negative infinity, p yields negative infinity */
- tt_assert(INT64_MAX ==
- add_laplace_noise(0.0, 0.0, -1.0, 0.0))
- /* b = positive NaN (rounded to -Inf), p yields negative infinity,
- * result is -NaN -> -Inf */
- tt_assert(INT64_MIN ==
- add_laplace_noise(0.0, 0.0, -0.0, -0.0))
- /* b = negative NaN (rounded to -Inf), p yields negative infinity,
- * result is NaN -> Inf */
- tt_assert(INT64_MAX ==
- add_laplace_noise(0.0, 0.0, -0.0, 0.0))
-
done:
;
}