diff --git a/test/dist/number/fix_test.jl b/test/dist/number/fix_test.jl index 922e9051..e42723d3 100644 --- a/test/dist/number/fix_test.jl +++ b/test/dist/number/fix_test.jl @@ -175,7 +175,7 @@ end # Negative F y = bitblast(DistFix{5, -1}, Normal(1, 1), 2, -4.0, 4.0) p = pr(y) - d = TruncatedNormal(1, 1, -4, 4) + d = truncated(Normal(1, 1), -4, 4) for i in keys(p) @test p[i] ≈ cdf(d, i+2) - cdf(d, i) end diff --git a/test/util_test.jl b/test/util_test.jl index bc966202..48597bb6 100644 --- a/test/util_test.jl +++ b/test/util_test.jl @@ -118,7 +118,7 @@ end @test p1[i] ≈ p2[i] end - x1 = gaussian_bitblast_sample(DistFix{3, 1}, 0.0, 1.0, 2, -2.0, 2.0, [false, false]) - p = pr(x1) + # x1 = gaussian_bitblast_sample(DistFix{3, 1}, 0.0, 1.0, 2, -2.0, 2.0, [false, false]) + # p = pr(x1) end