Searched defs:fUseOldCnf (Results 1 – 2 of 2) sorted by relevance
198 int fUseOldCnf = 0; in Bmc_PerformICheck() local372 int fUseOldCnf = 0; in Bmc_PerformISearchOne() local
139 int fUseOldCnf; // use old CNF construction member