Home
last modified time | relevance | path

Searched refs:valgrind_version (Results 1 – 1 of 1) sorted by relevance

/PHP-5.3/
H A Drun-tests.php108 $valgrind_version = 0; variable
579 …$valgrind_version = preg_replace("/valgrind-([0-9])\.([0-9])\.([0-9]+)([.-\w]+)?(\s+)/", '$1$2$3',… variable
580 if ($replace_count != 1 || !is_numeric($valgrind_version)) {
1170 global $valgrind_version;
1753 if ($valgrind_version >= 330) {

Completed in 13 milliseconds