Searched refs:valgrind_cmd (Results 1 – 1 of 1) sorted by relevance
584 $valgrind_cmd = "valgrind --version"; variable585 $valgrind_header = system_with_timeout($valgrind_cmd, $environment);
Completed in 7 milliseconds