Searched defs:pCexComb (Results 1 – 2 of 2) sorted by relevance
133 Abc_Cex_t * pCexComb; // counter-example for the first failed output member
149 Abc_Cex_t * pCexComb; // combinational counter-example member