Run gmp_random tests more quickly

nikic · nikic · commit 25e45a935036 · 2015-04-16T16:29:57.000+02:00
diff --git a/ext/gmp/tests/gmp_random_bits.phpt b/ext/gmp/tests/gmp_random_bits.phpt
@@ -13,7 +13,7 @@ var_dump(gmp_random_bits(-1));
 gmp_random_bits(1);
 gmp_random_bits(1024);
 
-// 2 seconds to make sure the numbers stay in range
+// 0.5 seconds to make sure the numbers stay in range
 $start = microtime(true);
 $limit = (2 ** 30) - 1;
 while (1) {
@@ -26,7 +26,7 @@ while (1) {
 		}
 	}
 
-	if (microtime(true) - $start > 2) {
+	if (microtime(true) - $start > 0.5) {
 		break;
 	}
 }
diff --git a/ext/gmp/tests/gmp_random_range.phpt b/ext/gmp/tests/gmp_random_range.phpt
@@ -30,7 +30,7 @@ gmp_random_range(-1, $plusTen);
 gmp_random_range($zero, $plusTen);
 gmp_random_range($minusTen, $plusTen);
 
-// 2 seconds to make sure the numbers stay in range
+// 0.5 seconds to make sure the numbers stay in range
 $start = microtime(true);
 while (1) {
 	for ($i = 0; $i < 5000; $i++) {
@@ -56,7 +56,7 @@ while (1) {
 		}
 	}
 
-	if (microtime(true) - $start > 2) {
+	if (microtime(true) - $start > 0.5) {
 		break;
 	}
 }

Original file line number	Diff line number	Diff line change
`@@ -13,7 +13,7 @@ var_dump(gmp_random_bits(-1));`
`13`	`13`	`gmp_random_bits(1);`
`14`	`14`	`gmp_random_bits(1024);`
`15`	`15`
`16`		`-// 2 seconds to make sure the numbers stay in range`
	`16`	`+// 0.5 seconds to make sure the numbers stay in range`
`17`	`17`	`$start = microtime(true);`
`18`	`18`	`$limit = (2 ** 30) - 1;`
`19`	`19`	`while (1) {`
`@@ -26,7 +26,7 @@ while (1) {`
`26`	`26`	`}`
`27`	`27`	`}`
`28`	`28`
`29`		`- if (microtime(true) - $start > 2) {`
	`29`	`+ if (microtime(true) - $start > 0.5) {`
`30`	`30`	`break;`
`31`	`31`	`}`
`32`	`32`	`}`
Original file line number	Diff line number	Diff line change
`@@ -30,7 +30,7 @@ gmp_random_range(-1, $plusTen);`
`30`	`30`	`gmp_random_range($zero, $plusTen);`
`31`	`31`	`gmp_random_range($minusTen, $plusTen);`
`32`	`32`
`33`		`-// 2 seconds to make sure the numbers stay in range`
	`33`	`+// 0.5 seconds to make sure the numbers stay in range`
`34`	`34`	`$start = microtime(true);`
`35`	`35`	`while (1) {`
`36`	`36`	`for ($i = 0; $i < 5000; $i++) {`
`@@ -56,7 +56,7 @@ while (1) {`
`56`	`56`	`}`
`57`	`57`	`}`
`58`	`58`
`59`		`- if (microtime(true) - $start > 2) {`
	`59`	`+ if (microtime(true) - $start > 0.5) {`
`60`	`60`	`break;`
`61`	`61`	`}`
`62`	`62`	`}`