| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/ |
| H A D | saigGlaPba2.c | 227 int i, f, ObjId, nVars, RetValue = 1; in Aig_Gla3CreateSatSolver() local
396 int RetValue; in Aig_Gla3ManUnsatCore() local
|
| H A D | saigMiter.c | 1041 int i, RetValue = -1; in Ssw_SecCexResimulate() local
1079 int RetValue; in Ssw_SecSpecial() local
1164 int RetValue; in Ssw_SecSpecialMiter() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/ |
| H A D | fraHot.c | 232 int RetValue, i, Out1, Out2; in Fra_OneHotCheck() local
269 int i, Out1, Out2, RetValue = 0; in Fra_OneHotRefineUsingCex() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/live/ |
| H A D | kliveness.c | 343 int RetValue, i; in flipConePdr() local
531 int RetValue; in Abc_CommandCS_kLiveness() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abcRr.c | 103 int i, k, m, nNodes, RetValue; in Abc_NtkRR() local
355 int RetValue; in Abc_NtkRRProve() local
432 int i, LevelMin, LevelMax, RetValue; in Abc_NtkRRWindow() local
|
| H A D | abcQbf.c | 69 int nIters, nInputs, RetValue, fFound = 0; in Abc_NtkQbf() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sbd/ |
| H A D | sbdSat.c | 146 int pLits[8], nLits, i, k, iLit, RetValue; in Sbd_ProblemLoad1() local
174 int pLits[8], nLits, i, k, iLit, RetValue; in Sbd_ProblemLoad2() local
225 int RetValue, n, i, j, j2, k, k2, d, Count, nVars = 0; in Sbd_SolverTopo() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/nm/ |
| H A D | nmApi.c | 115 int RetValue, nEntrySize; in Nm_ManStoreIdName() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/mfs/ |
| H A D | mfsCore.c | 309 int RetValue; in Abc_NtkMfsNode() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/pla/ |
| H A D | plaRead.c | 47 int nFileSize, RetValue; in Pla_ReadFile() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wlc/ |
| H A D | wlcAbs.c | 1353 int RetValue = 0; in Wla_ManShrinkAbs() local
1439 int RetValue = -1; in Wla_ManCheckCombUnsat() local
1490 int RetValue = -1; in Wla_ManSolveInt() local
1705 int RetValue = -1; in Wla_ManSolve() local
1759 int RetValue = -1; in Wlc_NtkPdrAbs() local
1790 int nIters, nNodes, nDcFlops, RetValue = -1; in Wlc_NtkAbsCore() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaCex.c | 51 int RetValue, i, k, iBit = 0; in Gia_ManVerifyCex() local
94 int RetValue, i, k, iBit = 0; in Gia_ManFindFailedPoCex() local
|
| H A D | giaQbf.c | 204 int nSolutions = 0, RetValue = 0; in Gia_ManSatEnum() local
558 int i, Entry, RetValue; in Gia_QbfVerify() local
639 int i, status, RetValue = 0; in Gia_QbfSolve() local
|
| H A D | giaSweeper.c | 546 int pLits[4], LitF, LitI, LitT, LitE, RetValue; in Gia_ManAddClausesMux() local
624 int i, RetValue, Lit, LitNode, pLits[2]; in Gia_ManAddClausesSuper() local
792 int iLitOld, iLitNew, iLitAig, pLitsSat[2], RetValue, RetValue1, ProbeId, i; in Gia_SweeperCheckEquiv() local
927 int RetValue, ProbeId, iLitAig, i; in Gia_SweeperCondCheckUnsat() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/cmd/ |
| H A D | cmdUtils.c | 52 int RetValue; in cmdCheckShellEscape() local
670 int RetValue; in CmdCommandPrintCompare() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ioa/ |
| H A D | ioaReadAig.c | 436 int nFileSize, RetValue; in Ioa_ReadAiger() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/ |
| H A D | bmcFx.c | 397 int status, i, k, n, Lit, Lit2, iVar, nFinal, * pFinal, pLits[2], nIter = 0, RetValue = 0; in Bmc_FxSolve() local
604 int o, i, n, RetValue, nCounter, iAuxVarStart = sat_solver_nvars( pSat ); in Bmc_FxCompute() local
681 int n, Iter, RetValue; in Bmc_FxComputeOne() local
|
| H A D | bmcBCore.c | 204 int RetValue; in Bmc_ManBCorePerform() local
|
| H A D | bmcBmc.c | 215 int status, Lit, i, RetValue = -1; in Saig_ManBmcSimple() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bool/kit/ |
| H A D | kitBdd.c | 209 int RetValue; in Kit_SopFactorVerify() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/miniaig/ |
| H A D | minilut.h | 189 int RetValue; in Mini_LutDump() local
207 int RetValue, nSize; in Mini_LutLoad() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/ |
| H A D | sswCore.c | 239 int RetValue, nIter = -1; in Ssw_SignalCorrespondenceRefine() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/res/ |
| H A D | resSat.c | 217 int RetValue = -1; // Suppress "might be used uninitialized" in Res_SatSimulate() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fraig/ |
| H A D | fraigMan.c | 524 int i, fComp, RetValue; in Fraig_ManAddClause() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/cec/ |
| H A D | cecCore.c | 263 int RetValue = 0; in Cec_ManSimulationOne() local
|