diff options
Diffstat (limited to 'src/base/abci/abcSat.c')
| -rw-r--r-- | src/base/abci/abcSat.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/base/abci/abcSat.c b/src/base/abci/abcSat.c index 5376444b..f7400313 100644 --- a/src/base/abci/abcSat.c +++ b/src/base/abci/abcSat.c @@ -400,6 +400,10 @@ int Abc_NtkMiterSatCreateInt( solver * pSat, Abc_Ntk_t * pNtk ) assert( Abc_NtkIsStrash(pNtk) ); + // clean the CI node pointers + Abc_NtkForEachCi( pNtk, pNode, i ) + pNode->pCopy = NULL; + // start the data structures vNodes = Vec_PtrAlloc( 1000 ); // the nodes corresponding to vars in the solver vSuper = Vec_PtrAlloc( 100 ); // the nodes belonging to the given implication supergate |