Searched defs:prune_factor (Results 1 – 2 of 2) sorted by relevance
1113 int16_t allowed_tx_mask, int prune_factor, const TXB_CTX *const txb_ctx, in prune_txk_type_separ()1258 int prune_factor, const TXB_CTX *const txb_ctx, in prune_txk_type()
4552 const int prune_factor = prune_level >= 2 ? 6 : 5; in analyze_single_states() local