Searched refs:precedentOptions (Results 1 – 1 of 1) sorted by relevance
108 static const char *precedentOptions[] = {"-petsc_ci", "-options_monitor", "-options_monitor_cancel"… variable731 const char *const *opt = precedentOptions; in PetscOptionsProcessPrecedentFlags()794 if (!PetscOptNameCmp(precedentOptions[i], name)) { in PetscOptionsSkipPrecedent()