Searched defs:valgrind_version (Results 1 – 1 of 1) sorted by relevance
108 $valgrind_version = 0; variable622 …$valgrind_version = preg_replace("/valgrind-(\d+)\.(\d+)\.(\d+)([.\w_-]+)?(\s+)/", '$1.$2.$3', $va… variable
Completed in 19 milliseconds