hakaru-dev / hakaru

A probabilistic programming language
BSD 3-Clause "New" or "Revised" License
310 stars 30 forks source link

Exponential and Erlang to Pareto Test #172

Closed mkhattab940 closed 6 years ago

mkhattab940 commented 6 years ago
### Failure in: 6:RoundTrip:0:0:t_exp_erlang_to_pareto:1
haskell/Tests/TestTools.hs:130
expected:
X <~ uniform(+0/1, +1/1)
return real2prob(1/ X)
but got:
X5 <~ gamma(1/1, 2/1)
Y3 <~ gamma(1/1, 2/1)
return (X5 + Y3) / Y3
Cases: 162  Tried: 85  Errors: 0  Failures: 1