hakaru-dev · mkhattab940 · Apr 24, 2018 · Apr 24, 2018 · Apr 24, 2018
diff --git a/haskell/Tests/RoundTrip.hs b/haskell/Tests/RoundTrip.hs
@@ -247,17 +247,9 @@ testErlangRelations = test [
 
 testRayleighRelations :: Test 
 testRayleighRelations = test [
-    "t_exponential_to_rayleigh" ~: testConcreteFiles "tests/RoundTrip2/t_exponential_to_rayleigh.0.hk" "tests/RoundTrip2/t_exponential_to_rayleigh.expected.hk"
-    ]
-
-testRayleighRelations :: Test 
-testRayleighRelations = test [
-    "t_gamma_to_rayleigh" ~: testConcreteFiles "tests/RoundTrip2/t_gamma_to_rayleigh.0.hk" "tests/RoundTrip2/t_gamma_to_rayleigh.expected.hk"
-    ]
-
-testRayleighRelations :: Test 
-testRayleighRelations = test [
-    "t_weibull_to_rayleigh" ~: testConcreteFiles "tests/RoundTrip2/t_weibull_to_rayleigh.0.hk" "tests/RoundTrip2/t_weibull_to_rayleigh.expected.hk"
+    "t_exponential_to_rayleigh" ~: testConcreteFiles "tests/RoundTrip/t_exponential_to_rayleigh.0.hk" "tests/RoundTrip/t_exponential_to_rayleigh.expected.hk",
+    "t_rayleigh_to_gamma" ~: testConcreteFiles "tests/RoundTrip/t_rayleigh_to_gamma.0.hk" "tests/RoundTrip/t_rayleigh_to_gamma.expected.hk",
+    "t_weibull_to_rayleigh" ~: testConcreteFiles "tests/RoundTrip/t_weibull_to_rayleigh.0.hk" "tests/RoundTrip/t_weibull_to_rayleigh.expected.hk"
     ]
 
 testOther :: Test

diff --git a/tests/RoundTrip/t_exponential_to_rayleigh.0.hk b/tests/RoundTrip/t_exponential_to_rayleigh.0.hk
@@ -0,0 +1,5 @@
+def exponential(alpha prob):
+	gamma(1/1,alpha)
+
+X <~ exponential(1)
+return sqrt(X)
diff --git a/tests/RoundTrip/t_exponential_to_rayleigh.expected.hk b/tests/RoundTrip/t_exponential_to_rayleigh.expected.hk
@@ -0,0 +1,3 @@
+#rayleigh(1)
+X3 <~ uniform(+0/1, +1/1)
+return sqrt(real2prob(log(real2prob(X3)) * (-1/1)))
diff --git a/...Trip2/t_exponential_to_rayleigh.proof.mpl → ...dTrip/t_exponential_to_rayleigh.proof.mpl b/...Trip2/t_exponential_to_rayleigh.proof.mpl → ...dTrip/t_exponential_to_rayleigh.proof.mpl
diff --git a/...oundTrip2/t_gamma_to_rayleigh.expected.hk → tests/RoundTrip/t_rayleigh_to_gamma.0.hk b/...oundTrip2/t_gamma_to_rayleigh.expected.hk → tests/RoundTrip/t_rayleigh_to_gamma.0.hk
diff --git a/tests/RoundTrip/t_rayleigh_to_gamma.expected.hk b/tests/RoundTrip/t_rayleigh_to_gamma.expected.hk
@@ -0,0 +1 @@
+gamma(1/1,2/1)
diff --git a/.../RoundTrip2/t_gamma_to_rayleigh.proof.mpl → ...s/RoundTrip/t_rayleigh_to_gamma.proof.mpl b/.../RoundTrip2/t_gamma_to_rayleigh.proof.mpl → ...s/RoundTrip/t_rayleigh_to_gamma.proof.mpl
diff --git a/tests/RoundTrip2/t_weibull_to_rayleigh.0.hk → tests/RoundTrip/t_weibull_to_rayleigh.0.hk b/tests/RoundTrip2/t_weibull_to_rayleigh.0.hk → tests/RoundTrip/t_weibull_to_rayleigh.0.hk
diff --git a/tests/RoundTrip/t_weibull_to_rayleigh.expected.hk b/tests/RoundTrip/t_weibull_to_rayleigh.expected.hk
@@ -0,0 +1,3 @@
+#rayleigh(1)
+X <~ uniform(+0/1, +1/1)
+return sqrt(real2prob(log(real2prob(X)) * (-1/1)))
diff --git a/...oundTrip2/t_weibull_to_rayleigh.proof.mpl → ...RoundTrip/t_weibull_to_rayleigh.proof.mpl b/...oundTrip2/t_weibull_to_rayleigh.proof.mpl → ...RoundTrip/t_weibull_to_rayleigh.proof.mpl
diff --git a/tests/RoundTrip2/t_exponential_to_rayleigh.0.hk b/tests/RoundTrip2/t_exponential_to_rayleigh.0.hk
diff --git a/tests/RoundTrip2/t_exponential_to_rayleigh.expected.hk b/tests/RoundTrip2/t_exponential_to_rayleigh.expected.hk
diff --git a/tests/RoundTrip2/t_gamma_to_rayleigh.0.hk b/tests/RoundTrip2/t_gamma_to_rayleigh.0.hk
diff --git a/tests/RoundTrip2/t_weibull_to_rayleigh.expected.hk b/tests/RoundTrip2/t_weibull_to_rayleigh.expected.hk