From 64dfa70cf85cb93220277529335f92aea56ca1ff Mon Sep 17 00:00:00 2001 From: Stefan Zetzsche <120379523+stefan-aws@users.noreply.github.com> Date: Thu, 25 Apr 2024 19:33:51 +0100 Subject: [PATCH] Fix Python Tests (#175) By submitting this pull request, I confirm that my contribution is made under the terms of the [MIT license](https://github.com/dafny-lang/dafny/blob/master/LICENSE.txt). --- docs/py/TestSamplers.py | 40 ++++++++++++++++++++-------------------- 1 file changed, 20 insertions(+), 20 deletions(-) diff --git a/docs/py/TestSamplers.py b/docs/py/TestSamplers.py index c46642a7..13a43e50 100644 --- a/docs/py/TestSamplers.py +++ b/docs/py/TestSamplers.py @@ -24,26 +24,26 @@ def main(): print("Testing DiscreteLaPlace("+str(i)+"/"+str(j)+")\n") print(r.DiscreteLaplaceSample(i, j), end="\n") - # Edge cases - print("Testing Bernoulli(1000000, 1)\n") - print(r.BernoulliSample(1000000, 1), end="\n") - print("Testing Bernoulli(1, 1000000)\n") - print(r.BernoulliSample(1, 1000000), end="\n") - - print("Testing BernoulliExpNeg(1000000, 1)\n") - print(r.BernoulliExpNegSample(1000000, 1), end="\n") - print("Testing BernoulliExpNeg(1, 1000000)\n") - print(r.BernoulliExpNegSample(1, 1000000), end="\n") - - print("Testing DiscreteGaussianSample(1000000, 1)\n") - print(r.DiscreteGaussianSample(1000000, 1), end="\n") - print("Testing DiscreteGaussianSample(1, 1000000)\n") - print(r.DiscreteGaussianSample(1, 1000000), end="\n") - - print("Testing DiscreteLaplace(1000000, 1)\n") - print(r.DiscreteLaplaceSample(1000000, 1), end="\n") - print("Testing DiscreteLaplace(1, 1000000)\n") - print(r.DiscreteLaplaceSample(1, 1000000), end="\n") + # Edge cases + print("Testing Bernoulli(1000000, 1)\n") + print(r.BernoulliSample(1000000, 1), end="\n") + print("Testing Bernoulli(1, 1000000)\n") + print(r.BernoulliSample(1, 1000000), end="\n") + + print("Testing BernoulliExpNeg(1000000, 1)\n") + print(r.BernoulliExpNegSample(1000000, 1), end="\n") + print("Testing BernoulliExpNeg(1, 1000000)\n") + print(r.BernoulliExpNegSample(1, 1000000), end="\n") + + print("Testing DiscreteGaussianSample(1000000, 1)\n") + print(r.DiscreteGaussianSample(1000000, 1), end="\n") + print("Testing DiscreteGaussianSample(1, 1000000)\n") + print(r.DiscreteGaussianSample(1, 1000000), end="\n") + + print("Testing DiscreteLaplace(1000000, 1)\n") + print(r.DiscreteLaplaceSample(1000000, 1), end="\n") + print("Testing DiscreteLaplace(1, 1000000)\n") + print(r.DiscreteLaplaceSample(1, 1000000), end="\n") if __name__ == "__main__": main() \ No newline at end of file