Searched refs:nCallsU (Results 1 – 2 of 2) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/pdr/ | ||
H A D | pdrInt.h | 149 int nCallsU; // the number of SAT calls (unsat) member |
H A D | pdrSat.c | 352 p->nCallsU++; in Pdr_ManCheckCube() |