Searched refs:isSolverOption (Results 1 – 3 of 3) sorted by relevance
425 static inline bool isSolverOption(int k) { return k >= option_category_solver_begin && k < option_c… in isSolverOption() function937 …== testerConfig() && !isTesterOption(o)) || ((cliMode & mode_solver) != 0 && !isSolverOption(o))) { in applyActive()940 else if (isSolverOption(o)) { in applyActive()