diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-03-13 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-03-13 08:01:00 -0700 |
| commit | 2696cf05e568f7a928f32b01534d106bf626ef8a (patch) | |
| tree | c795e6a7c53151faa830a55bfdc082dc67d98e4e /src/base/abci/abcVerify.c | |
| parent | 93c05287f0d8b044e620b41608df906bbad39db5 (diff) | |
| download | abc-2696cf05e568f7a928f32b01534d106bf626ef8a.tar.gz abc-2696cf05e568f7a928f32b01534d106bf626ef8a.tar.bz2 abc-2696cf05e568f7a928f32b01534d106bf626ef8a.zip | |
Version abc70313
Diffstat (limited to 'src/base/abci/abcVerify.c')
| -rw-r--r-- | src/base/abci/abcVerify.c | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/src/base/abci/abcVerify.c b/src/base/abci/abcVerify.c index 05bd021d..b7a7d4b9 100644 --- a/src/base/abci/abcVerify.c +++ b/src/base/abci/abcVerify.c @@ -603,10 +603,14 @@ void Abc_NtkVerifyReportError( Abc_Ntk_t * pNtk1, Abc_Ntk_t * pNtk2, int * pMode Abc_NtkForEachCi( pNtk1, pNode, i ) pNode->pCopy = (void*)i; // print the model - Vec_PtrForEachEntry( vNodes, pNode, i ) + pNode = Vec_PtrEntry( vNodes, 0 ); + if ( Abc_ObjIsCi(pNode) ) { - assert( Abc_ObjIsCi(pNode) ); - printf( " %s=%d", Abc_ObjName(pNode), pModel[(int)pNode->pCopy] ); + Vec_PtrForEachEntry( vNodes, pNode, i ) + { + assert( Abc_ObjIsCi(pNode) ); + printf( " %s=%d", Abc_ObjName(pNode), pModel[(int)pNode->pCopy] ); + } } printf( "\n" ); Vec_PtrFree( vNodes ); |