diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-08-20 20:29:11 +0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-08-20 20:29:11 +0700 |
commit | 56035ab9ab1051f87e1186d06bd250375f9d4227 (patch) | |
tree | a15057b597b4da9fccb58bed3a4e7faad20d8a95 /src/aig/llb/llb4Nonlin.c | |
parent | 21dfaedebd842c240e770d3bcfb62e2fb4531b40 (diff) | |
download | abc-56035ab9ab1051f87e1186d06bd250375f9d4227.tar.gz abc-56035ab9ab1051f87e1186d06bd250375f9d4227.tar.bz2 abc-56035ab9ab1051f87e1186d06bd250375f9d4227.zip |
Making sure reconcile does not change the PO number.
Diffstat (limited to 'src/aig/llb/llb4Nonlin.c')
-rw-r--r-- | src/aig/llb/llb4Nonlin.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/llb/llb4Nonlin.c b/src/aig/llb/llb4Nonlin.c index 69d741a5..0d78b15a 100644 --- a/src/aig/llb/llb4Nonlin.c +++ b/src/aig/llb/llb4Nonlin.c @@ -742,7 +742,7 @@ int Llb_Nonlin4Reachability( Llb_Mnx_t * p ) Vec_Ptr_t * vStates; assert( p->pAig->pSeqModel == NULL ); vStates = Llb_Nonlin4DeriveCex( p, p->pPars->fBackward, p->pPars->fVerbose ); - p->pAig->pSeqModel = Llb4_Nonlin4TransformCex( p->pAig, vStates, p->pPars->fVerbose ); + p->pAig->pSeqModel = Llb4_Nonlin4TransformCex( p->pAig, vStates, -1, p->pPars->fVerbose ); Vec_PtrFreeP( &vStates ); if ( !p->pPars->fSilent ) { |