Searched refs:petsc_release_flag (Results 1 – 1 of 1) sorted by relevance
46 petsc_release_flag = re.search(' PETSC_VERSION_RELEASE[ ]*([0-9]*)',buf).group(1) variable52 if petsc_release_flag == '0':