revert version and fix tests

dafny-lang · Jul 26, 2024 · 9ff2fcb · 9ff2fcb
1 parent 5fb57d5
commit 9ff2fcb
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/docs/java/TestSamplers.java b/docs/java/TestSamplers.java
@@ -57,9 +57,9 @@ public static void main(String[] args) {
             System.out.println(r.DiscreteGaussianSample(l, k, 7));
 
             System.out.println("Testing DiscreteLaplace(1000000, 1)");
-            System.out.println(r.DiscreteLaplaceSample(k, l, 7));
+            System.out.println(r.DiscreteLaplaceSample(k, l));
             System.out.println("Testing DiscreteLaplace(1, 1000000)");
-            System.out.println(r.DiscreteLaplaceSample(l, k, 7));
+            System.out.println(r.DiscreteLaplaceSample(l, k));
 
             /* CUSTOM RNG */
             System.out.println("\nCUSTOM RNG TESTS\n");

diff --git a/scripts/prep.sh b/scripts/prep.sh
@@ -1,6 +1,6 @@
 #!/bin/bash
 
-VERSION=https://github.com/dafny-lang/dafny/releases/download/v4.7.0/dafny-4.7.0-x64-ubuntu-20.04.zip
+VERSION=https://github.com/dafny-lang/dafny/releases/download/v4.4.0/dafny-4.4.0-x64-ubuntu-20.04.zip
 
 wget $VERSION
 unzip `basename $VERSION`