diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-07-31 20:37:38 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-07-31 20:37:38 +0700 |
| commit | 34811655f27aa9ff7a56af1fee06d0dfffd7c2e5 (patch) | |
| tree | 0403398c98bcc955b39e902ad46400fe0b11de4c | |
| parent | 778215e7ee46160bf27ff7eff6a7865cac0a1505 (diff) | |
| download | abc-34811655f27aa9ff7a56af1fee06d0dfffd7c2e5.tar.gz abc-34811655f27aa9ff7a56af1fee06d0dfffd7c2e5.tar.bz2 abc-34811655f27aa9ff7a56af1fee06d0dfffd7c2e5.zip | |
Minor bug fix in 'testcex'.
| -rw-r--r-- | src/base/abci/abc.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 02ac88c5..ce571aec 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -20193,7 +20193,10 @@ int Abc_CommandTestCex( Abc_Frame_t * pAbc, int argc, char ** argv ) int iPoOld = pAbc->pCex->iPo; pAbc->pCex->iPo = Gia_ManFindFailedPoCex( pGia, pAbc->pCex, nOutputs ); if ( pAbc->pCex->iPo == -1 ) + { + pAbc->pCex->iPo = iPoOld; Abc_Print( 1, "Main AIG: The cex does not fail any outputs.\n" ); + } else if ( iPoOld != pAbc->pCex->iPo ) Abc_Print( 1, "Main AIG: The cex refined PO %d instead of PO %d.\n", pAbc->pCex->iPo, iPoOld ); else @@ -20219,7 +20222,10 @@ int Abc_CommandTestCex( Abc_Frame_t * pAbc, int argc, char ** argv ) int iPoOld = pAbc->pCex->iPo; pAbc->pCex->iPo = Gia_ManFindFailedPoCex( pAbc->pGia, pAbc->pCex, nOutputs ); if ( pAbc->pCex->iPo == -1 ) + { + pAbc->pCex->iPo = iPoOld; Abc_Print( 1, "And AIG: The cex does not fail any outputs.\n" ); + } else if ( iPoOld != pAbc->pCex->iPo ) Abc_Print( 1, "And AIG: The cex refined PO %d instead of PO %d.\n", pAbc->pCex->iPo, iPoOld ); else |