reduce range

dafny-lang · Feb 29, 2024 · b613ff6 · b613ff6
1 parent ab58c82
commit b613ff6
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
@@ -13,7 +13,7 @@ public static void main(String[] args) {
 
             DafnyVMC.Random r = new DafnyVMC.Random();
 
-            for (int a = 1; a < 10000; a++) {
+            for (int a = 1; a < 1000; a++) {
                 BigInteger i = BigInteger.valueOf(a);
 
                 System.out.println("Testing Uniform(" + a + ")");
@@ -50,7 +50,7 @@ public static void main(String[] args) {
             SecureRandom rng = new SecureRandom();
             DafnyVMC.Random t = new DafnyVMC.Random(() -> rng);
 
-            for (int a = 1; a < 10000; a++) {
+            for (int a = 1; a < 1000; a++) {
                 BigInteger i = BigInteger.valueOf(a);
                 System.out.println("Testing Uniform(" + a + ")");
                 System.out.println(t.UniformSample(i));

diff --git a/docs/py/TestSamplers.py b/docs/py/TestSamplers.py
@@ -7,7 +7,7 @@ def main():
 
     r = DafnyVMC.Random()
 
-    for i in range(1, 10000): 
+    for i in range(1, 1000): 
         print("Testing Uniform("+str(i)+")")
         print(r.UniformSample(i))