diff options
author | Anatol Belski <ab@php.net> | 2018-01-03 16:54:14 +0100 |
---|---|---|
committer | Anatol Belski <ab@php.net> | 2018-01-03 16:54:14 +0100 |
commit | 2508d5051feba0072cd910c254ea308870b4fc41 (patch) | |
tree | f48e835fc3576491829ee6932e39249dfb53e575 /ext/gmp | |
parent | ce0ab999e578e7e0fff3e4ccabed28c69e471a70 (diff) | |
download | php-git-2508d5051feba0072cd910c254ea308870b4fc41.tar.gz |
Extend skip section
The test requires some untrivial amount of RAM. Added a simple check for
the system free RAM to avoid false positive fails.
Diffstat (limited to 'ext/gmp')
-rw-r--r-- | ext/gmp/tests/gmp_setbit_long.phpt | 17 |
1 files changed, 16 insertions, 1 deletions
diff --git a/ext/gmp/tests/gmp_setbit_long.phpt b/ext/gmp/tests/gmp_setbit_long.phpt index d0d0a3d989..e27c4e5942 100644 --- a/ext/gmp/tests/gmp_setbit_long.phpt +++ b/ext/gmp/tests/gmp_setbit_long.phpt @@ -4,6 +4,21 @@ gmp_setbit() with large index <?php if (!extension_loaded("gmp")) print "skip"; ?> <?php if (PHP_INT_SIZE != 8) die("skip this test is for 64bit platform only"); ?> <?php if (getenv("SKIP_SLOW_TESTS")) die("skip slow test"); ?> +<?php + /* This test requires about 8G RAM which likely not to be present on an arbitrary CI. */ + if (!file_exists("/proc/meminfo")) { + die("skip cannot determine free memory amount."); + } + $s = file_get_contents("/proc/meminfo"); + $free = 0; + if (preg_match(",MemFree:\s+(\d+)\s+kB,", $s, $m)) { + /* Got amount in kb. */ + $free = $m[1]/1024/1024; + } + if ($free < 8) { + die("skip not enough free RAM."); + } +?> --FILE-- <?php @@ -23,4 +38,4 @@ FFFFFFFFF 3FFFFFFFFF Warning: gmp_setbit(): Index must be less than %d * %d in %s/gmp_setbit_long.php on line %d -Done
\ No newline at end of file +Done |