Searched refs:modulo_backtracks_left (Results 1 – 2 of 2) sorted by relevance
185 static int modulo_backtracks_left; variable557 modulo_backtracks_left = PARAM_VALUE (PARAM_MAX_MODULO_BACKTRACK_ATTEMPTS); in set_modulo_params()4536 if (modulo_backtracks_left == 0) in schedule_block()4538 modulo_backtracks_left--; in schedule_block()
199 static int modulo_backtracks_left; variable586 modulo_backtracks_left = PARAM_VALUE (PARAM_MAX_MODULO_BACKTRACK_ATTEMPTS); in set_modulo_params()6906 if (modulo_backtracks_left == 0) in schedule_block()6908 modulo_backtracks_left--; in schedule_block()