Searched defs:prune_factor (Results 1 – 2 of 2) sorted by relevance
1118 int16_t allowed_tx_mask, int prune_factor, in prune_txk_type_separ()1264 uint16_t allowed_tx_mask, int prune_factor, in prune_txk_type()
4500 const int prune_factor = prune_level >= 2 ? 6 : 5; in analyze_single_states() local