diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-03 19:59:18 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-03 19:59:18 -0700 |
| commit | 50df0813fb07d5818d60ff96d408bbe0d684e207 (patch) | |
| tree | f59ff43b1d78b06d22da0e4fb8fdfc34dd4a3ece /src/base/abci | |
| parent | 50095be5ac2c1b9830a74c87fd0d8e2edc8b8438 (diff) | |
| download | abc-50df0813fb07d5818d60ff96d408bbe0d684e207.tar.gz abc-50df0813fb07d5818d60ff96d408bbe0d684e207.tar.bz2 abc-50df0813fb07d5818d60ff96d408bbe0d684e207.zip | |
Allowing 'constr' to reset remove currently defined constraints.
Diffstat (limited to 'src/base/abci')
| -rw-r--r-- | src/base/abci/abc.c | 38 |
1 files changed, 18 insertions, 20 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index c19faa52..d4aa3fd2 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -22061,7 +22061,7 @@ int Abc_CommandConstr( Abc_Frame_t * pAbc, int argc, char ** argv ) fInvert = 0; fOldAlgo = 0; fVerbose = 0; - nConstrs = 0; + nConstrs = -1; Extra_UtilGetoptReset(); while ( ( c = Extra_UtilGetopt( argc, argv, "FCPNrsiavh" ) ) != EOF ) { @@ -22153,6 +22153,22 @@ int Abc_CommandConstr( Abc_Frame_t * pAbc, int argc, char ** argv ) pNtk->nConstrs = 0; return 0; } + // consider the case of manual constraint definition + if ( nConstrs >= 0 ) + { + if ( Abc_NtkIsComb(pNtk) ) + Abc_Print( 0, "The network is combinational.\n" ); + if ( Abc_NtkConstrNum(pNtk) > 0 ) + Abc_Print( 0, "The network currently has %d constraints.\n", Abc_NtkConstrNum(pNtk) ); + if ( nConstrs >= Abc_NtkPoNum(pNtk) ) + { + Abc_Print( -1, "The number of constraints specified (%d) should be less than POs (%d).\n", nConstrs, Abc_NtkPoNum(pNtk) ); + return 0; + } + Abc_Print( 1, "Setting the last %d POs as constraint outputs.\n", nConstrs ); + pNtk->nConstrs = nConstrs; + return 0; + } // consider the case of already defined constraints if ( Abc_NtkConstrNum(pNtk) > 0 ) { @@ -22169,25 +22185,6 @@ int Abc_CommandConstr( Abc_Frame_t * pAbc, int argc, char ** argv ) Abc_NtkDarConstrProfile( pNtk, fVerbose ); return 0; } - // consider the case of manual constraint definition - if ( nConstrs > 0 ) - { - if ( Abc_NtkIsComb(pNtk) ) - Abc_Print( 0, "The network is combinational.\n" ); - if ( Abc_NtkConstrNum(pNtk) > 0 ) - { - Abc_Print( -1, "The network already has constraints.\n" ); - return 0; - } - if ( nConstrs >= Abc_NtkPoNum(pNtk) ) - { - Abc_Print( -1, "The number of constraints specified (%d) should be less than POs (%d).\n", nConstrs, Abc_NtkPoNum(pNtk) ); - return 0; - } - Abc_Print( 1, "Setting the last %d POs as constraint outputs.\n", nConstrs ); - pNtk->nConstrs = nConstrs; - return 0; - } if ( Abc_NtkIsComb(pNtk) ) { Abc_Print( -1, "The network is combinational.\n" ); @@ -22781,6 +22778,7 @@ int Abc_CommandPdr( Abc_Frame_t * pAbc, int argc, char ** argv ) Abc_FrameReplaceCexVec( pAbc, &pNtk->vSeqModelVec ); pAbc->nFrames = -1; } + ABC_FREE( pPars->pOutMap ); // cleanup after PDR return 0; usage: |