diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-01-07 11:19:03 +0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-01-07 11:19:03 +0700 |
commit | 376bf3a70392d683322a3bb74a3f5f623848b8e5 (patch) | |
tree | beb7f9b8cc9eb49245461cad8045e4b00bfad5da | |
parent | 10ad89490a6596dc51e27b6d7ebd0f2f0c606ed8 (diff) | |
download | abc-376bf3a70392d683322a3bb74a3f5f623848b8e5.tar.gz abc-376bf3a70392d683322a3bb74a3f5f623848b8e5.tar.bz2 abc-376bf3a70392d683322a3bb74a3f5f623848b8e5.zip |
Bug fix: changing output number to 0 in the CEX after ORing POs.
-rw-r--r-- | src/base/abci/abc.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index f1a8a1e6..36f948f5 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -5789,6 +5789,9 @@ int Abc_CommandOrPos( Abc_Frame_t * pAbc, int argc, char ** argv ) Abc_Print( -1, "ORing the POs has failed.\n" ); return 1; } + // Bug fix: there is now only one PO. make sure the counterexample points to the right one + if ( pAbc->pCex ) + pAbc->pCex->iPo = 0; // replace the current network // Abc_FrameReplaceCurrentNetwork( pAbc, pNtkRes ); return 0; |