biginteger embedding

dafny-lang · Jul 26, 2024 · c12516c · c12516c
1 parent c22dd2e
commit c12516c
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/docs/java/TestSamplers.java b/docs/java/TestSamplers.java
@@ -52,9 +52,9 @@ public static void main(String[] args) {
             System.out.println(r.BernoulliExpNegSample(l, k));
 
             System.out.println("Testing DiscreteGaussianSample(1000000, 1)");
-            System.out.println(r.DiscreteGaussianSample(k, l, 7));
+            System.out.println(r.DiscreteGaussianSample(k, l, BigInteger.valueOf(7)));
             System.out.println("Testing DiscreteGaussianSample(1, 1000000)");
-            System.out.println(r.DiscreteGaussianSample(l, k, 7));
+            System.out.println(r.DiscreteGaussianSample(l, k, BigInteger.valueOf(7)));
 
             System.out.println("Testing DiscreteLaplace(1000000, 1)");
             System.out.println(r.DiscreteLaplaceSample(k, l));
@@ -81,7 +81,7 @@ public static void main(String[] args) {
                     System.out.println(t.BernoulliExpNegSample(i, j));
 
                     System.out.println("Testing DiscreteGaussian(" + a + "/" + b + ")");
-                    System.out.println(t.DiscreteGaussianSample(i, j, 7));
+                    System.out.println(t.DiscreteGaussianSample(i, j, BigInteger.valueOf(7)));
 
                     System.out.println("Testing DiscreteLaPlace(" + a + "/" + b + ")");
                     System.out.println(t.DiscreteLaplaceSample(i, j));
@@ -102,9 +102,9 @@ public static void main(String[] args) {
             System.out.println(t.BernoulliExpNegSample(l, k));
 
             System.out.println("Testing DiscreteGaussianSample(1000000, 1)");
-            System.out.println(t.DiscreteGaussianSample(k, l, 7));
+            System.out.println(t.DiscreteGaussianSample(k, l, BigInteger.valueOf(7)));
             System.out.println("Testing DiscreteGaussianSample(1, 1000000)");
-            System.out.println(t.DiscreteGaussianSample(l, k, 7));
+            System.out.println(t.DiscreteGaussianSample(l, k, BigInteger.valueOf(7)));
 
             System.out.println("Testing DiscreteLaplace(1000000, 1)");
             System.out.println(t.DiscreteLaplaceSample(k, l));