From 9ff2fcbb9f21376acaf10f0515e30960d7f280d4 Mon Sep 17 00:00:00 2001 From: stefan-aws Date: Fri, 26 Jul 2024 17:01:10 +0100 Subject: [PATCH] revert version and fix tests --- docs/java/TestSamplers.java | 4 ++-- scripts/prep.sh | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/docs/java/TestSamplers.java b/docs/java/TestSamplers.java index 167c188c..8aeabc08 100644 --- 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 index 2eaf6f0e..cf6e48f2 100755 --- 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` \ No newline at end of file