diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-08 11:47:06 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-08 11:47:06 -0700 |
| commit | ca75e118e74efff61c12a0170232ac0f0bdb890a (patch) | |
| tree | 3b03bf821bb5b13656b5c8005ab53db7c3c1c8ab /src/aig/gia/giaCex.c | |
| parent | a8e59b2c421c7b3a565ccb587d57fdc09500dcdf (diff) | |
| download | abc-ca75e118e74efff61c12a0170232ac0f0bdb890a.tar.gz abc-ca75e118e74efff61c12a0170232ac0f0bdb890a.tar.bz2 abc-ca75e118e74efff61c12a0170232ac0f0bdb890a.zip | |
Added generation of values of internal nodes for GIA manager.
Diffstat (limited to 'src/aig/gia/giaCex.c')
| -rw-r--r-- | src/aig/gia/giaCex.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaCex.c b/src/aig/gia/giaCex.c index bb3da946..58415f73 100644 --- a/src/aig/gia/giaCex.c +++ b/src/aig/gia/giaCex.c @@ -178,7 +178,7 @@ void Gia_ManCounterExampleValueStart( Gia_Man_t * pGia, Abc_Cex_t * pCex ) } assert( iBit == pCex->nBits ); // check that the counter-example is correct, that is, the corresponding output is asserted - assert( Abc_InfoHasBit( (unsigned *)pGia->pData2, nObjs * pCex->iFrame + Gia_ObjId(Gia_ManCo(pGia, pCex->iPo)) ) ); + assert( Abc_InfoHasBit( (unsigned *)pGia->pData2, nObjs * pCex->iFrame + Gia_ObjId(pGia, Gia_ManCo(pGia, pCex->iPo)) ) ); } /**Function************************************************************* |