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).
dafny-lang · Apr 25, 2024 · 64dfa70 · 64dfa70
1 parent 1f94fe6
commit 64dfa70
Showing 1 changed file with 20 additions and 20 deletions.
diff --git 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()