Searched refs:fStoreCex (Results 1 – 6 of 6) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/pdr/ |
H A D | pdr.h | 74 int fStoreCex; // enable storing counter-examples in MO mode member
|
H A D | pdrIncr.c | 487 …pCexNew = (p->pPars->fUseBridge || p->pPars->fStoreCex) ? Abc_CexMakeTriv( Aig_ManRegNum(p->pAig),… in IPdr_ManSolveInt() 497 …if ( p->pPars->pFuncOnFail && p->pPars->pFuncOnFail(p->iOutCur, p->pPars->fStoreCex ? (Abc_Cex_t *… in IPdr_ManSolveInt() 607 …pCexNew = (p->pPars->fUseBridge || p->pPars->fStoreCex) ? Pdr_ManDeriveCex(p) : (Abc_Cex_t *)(ABC_… in IPdr_ManSolveInt() 613 … ( p->pPars->pFuncOnFail && p->pPars->pFuncOnFail(p->iOutCur, p->pPars->fStoreCex ? (Abc_Cex_t *)V… in IPdr_ManSolveInt()
|
H A D | pdrCore.c | 1103 …pCexNew = (p->pPars->fUseBridge || p->pPars->fStoreCex) ? Abc_CexMakeTriv( Aig_ManRegNum(p->pAig),… in Pdr_ManSolveInt() 1113 …if ( p->pPars->pFuncOnFail && p->pPars->pFuncOnFail(p->iOutCur, p->pPars->fStoreCex ? (Abc_Cex_t *… in Pdr_ManSolveInt() 1220 …pCexNew = (p->pPars->fUseBridge || p->pPars->fStoreCex) ? Pdr_ManDeriveCex(p) : (Abc_Cex_t *)(ABC_… in Pdr_ManSolveInt() 1226 … ( p->pPars->pFuncOnFail && p->pPars->pFuncOnFail(p->iOutCur, p->pPars->fStoreCex ? (Abc_Cex_t *)V… in Pdr_ManSolveInt()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/ |
H A D | bmc.h | 101 int fStoreCex; // enable storing CEXes in the MO mode member
|
H A D | bmcBmc3.c | 1743 …pCexNew = (p->pPars->fUseBridge || pPars->fStoreCex) ? Saig_ManGenerateCex( p, f, i ) : (Abc_Cex_t… in Saig_ManBmcScalable() 1753 …if ( pPars->pFuncOnFail && pPars->pFuncOnFail(i, pPars->fStoreCex ? (Abc_Cex_t *)Vec_PtrEntry(p->v… in Saig_ManBmcScalable()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
H A D | abc.c | 26655 pPars->fStoreCex ^= 1; in Abc_CommandBmc3() 26760 …toggle storing CEXes when solving all outputs [default = %s]\n", pPars->fStoreCex? "yes": "no" ); in Abc_CommandBmc3() 28583 pPars->fStoreCex ^= 1; in Abc_CommandPdr() 28702 …ing CEXes when solving all outputs [default = %s]\n", pPars->fStoreCex? "yes": "no" ); in Abc_CommandPdr()
|