diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-06-22 23:05:13 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-06-22 23:05:13 -0700 |
| commit | 51a646a355c78cf0f4cf104d6316706653b24008 (patch) | |
| tree | 4584ce9a96b88d32f110944f76b29ab90bb92a99 /src/aig/saig/saigSimExt.c | |
| parent | 327078393947f3c2e0b5548e5fada9ee67ef6134 (diff) | |
| download | abc-51a646a355c78cf0f4cf104d6316706653b24008.tar.gz abc-51a646a355c78cf0f4cf104d6316706653b24008.tar.bz2 abc-51a646a355c78cf0f4cf104d6316706653b24008.zip | |
Version abc90901
committer: Baruch Sterin <baruchs@gmail.com>
Diffstat (limited to 'src/aig/saig/saigSimExt.c')
| -rw-r--r-- | src/aig/saig/saigSimExt.c | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/aig/saig/saigSimExt.c b/src/aig/saig/saigSimExt.c index 97b91b1d..22d5d6b8 100644 --- a/src/aig/saig/saigSimExt.c +++ b/src/aig/saig/saigSimExt.c @@ -247,7 +247,7 @@ void Saig_ManExtendUndo( Aig_Man_t * p, Vec_Ptr_t * vSimInfo, Vec_Int_t * vUndo SeeAlso [] ***********************************************************************/ -Vec_Int_t * Saig_ManExtendCounterExample( Aig_Man_t * p, int iFirstPi, Ssw_Cex_t * pCex, Vec_Ptr_t * vSimInfo, int fVerbose ) +Vec_Int_t * Saig_ManExtendCounterExample( Aig_Man_t * p, int iFirstFlopPi, Ssw_Cex_t * pCex, Vec_Ptr_t * vSimInfo, int fVerbose ) { Vec_Int_t * vRes, * vResInv, * vUndo, * vVis, * vVis2; int i, f, Value; @@ -262,7 +262,7 @@ Vec_Int_t * Saig_ManExtendCounterExample( Aig_Man_t * p, int iFirstPi, Ssw_Cex_t vVis = Vec_IntAlloc( 1000 ); vVis2 = Vec_IntAlloc( 1000 ); vUndo = Vec_IntAlloc( 1000 ); - for ( i = iFirstPi; i < Saig_ManPiNum(p); i++ ) + for ( i = iFirstFlopPi; i < Saig_ManPiNum(p); i++ ) { Vec_IntClear( vUndo ); for ( f = pCex->iFrame; f >= 0; f-- ) @@ -297,7 +297,7 @@ Vec_Int_t * Saig_ManExtendCounterExample( Aig_Man_t * p, int iFirstPi, Ssw_Cex_t SeeAlso [] ***********************************************************************/ -Vec_Int_t * Saig_ManExtendCounterExampleTest( Aig_Man_t * p, int iFirstPi, Ssw_Cex_t * pCex, int fVerbose ) +Vec_Int_t * Saig_ManExtendCounterExampleTest( Aig_Man_t * p, int iFirstFlopPi, Ssw_Cex_t * pCex, int fVerbose ) { Vec_Int_t * vRes; Vec_Ptr_t * vSimInfo; @@ -305,10 +305,10 @@ Vec_Int_t * Saig_ManExtendCounterExampleTest( Aig_Man_t * p, int iFirstPi, Ssw_C Aig_ManFanoutStart( p ); vSimInfo = Vec_PtrAllocSimInfo( Aig_ManObjNumMax(p), Aig_BitWordNum(2*(pCex->iFrame+1)) ); clk = clock(); - vRes = Saig_ManExtendCounterExample( p, iFirstPi, pCex, vSimInfo, fVerbose ); + vRes = Saig_ManExtendCounterExample( p, iFirstFlopPi, pCex, vSimInfo, fVerbose ); if ( fVerbose ) { - printf( "Total new PIs = %3d. Non-removable PIs = %3d. ", Saig_ManPiNum(p)-iFirstPi, Vec_IntSize(vRes) ); + printf( "Total new PIs = %3d. Non-removable PIs = %3d. ", Saig_ManPiNum(p)-iFirstFlopPi, Vec_IntSize(vRes) ); ABC_PRT( "Time", clock() - clk ); } Vec_PtrFree( vSimInfo ); |