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