Home
last modified time | relevance | path

Searched refs:valgrind_version (Results 1 – 1 of 1) sorted by last modified time

/PHP-5.4/
H A Drun-tests.php108 $valgrind_version = 0; variable
580 …$valgrind_version = preg_replace("/valgrind-(\d+)\.(\d+)\.(\d+)([.\w_-]+)?(\s+)/", '$1.$2.$3', $va… variable
1188 global $valgrind_version;
1782 if (version_compare($valgrind_version, '3.3.0', '>=')) {

Completed in 26 milliseconds