diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-08-27 22:44:21 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-08-27 22:44:21 +0700 |
| commit | f8fb154229a917cf8ad5cd65192a6f311b2de5f5 (patch) | |
| tree | 3fdbcfe8136568263714ce10f19bace574ac1cd8 | |
| parent | 2adf8dc2fd13d2eb77f48afd2fe33f7d7230527c (diff) | |
| download | abc-f8fb154229a917cf8ad5cd65192a6f311b2de5f5.tar.gz abc-f8fb154229a917cf8ad5cd65192a6f311b2de5f5.tar.bz2 abc-f8fb154229a917cf8ad5cd65192a6f311b2de5f5.zip | |
Change 'testcex' to modify the PO number.
| -rw-r--r-- | src/base/abci/abc.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 1802f24a..7b7b4425 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -20416,7 +20416,7 @@ int Abc_CommandTestCex( Abc_Frame_t * pAbc, int argc, char ** argv ) pAbc->pCex->iPo = Gia_ManFindFailedPoCex( pGia, pAbc->pCex, nOutputs ); if ( pAbc->pCex->iPo == -1 ) { - pAbc->pCex->iPo = iPoOld; +// pAbc->pCex->iPo = iPoOld; Abc_Print( 1, "Main AIG: The cex does not fail any outputs.\n" ); } else if ( iPoOld != pAbc->pCex->iPo ) @@ -20445,7 +20445,7 @@ int Abc_CommandTestCex( Abc_Frame_t * pAbc, int argc, char ** argv ) pAbc->pCex->iPo = Gia_ManFindFailedPoCex( pAbc->pGia, pAbc->pCex, nOutputs ); if ( pAbc->pCex->iPo == -1 ) { - pAbc->pCex->iPo = iPoOld; +// pAbc->pCex->iPo = iPoOld; Abc_Print( 1, "And AIG: The cex does not fail any outputs.\n" ); } else if ( iPoOld != pAbc->pCex->iPo ) |