Home
last modified time | relevance | path

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

/PHP-7.1/
H A Drun-tests.php584 $valgrind_cmd = "valgrind --version"; variable
585 $valgrind_header = system_with_timeout($valgrind_cmd, $environment);

Completed in 9 milliseconds