diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-23 16:26:13 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-23 16:26:13 -0700 |
| commit | 47afd0f4f4f258ddc9231b791e6149430240ba52 (patch) | |
| tree | e421d9e2913bdccd368e588122f5c9664a672338 /src/aig/gia | |
| parent | 8ad1729aa9f3f9da65c36f89a57a8272ece196d9 (diff) | |
| download | abc-47afd0f4f4f258ddc9231b791e6149430240ba52.tar.gz abc-47afd0f4f4f258ddc9231b791e6149430240ba52.tar.bz2 abc-47afd0f4f4f258ddc9231b791e6149430240ba52.zip | |
Multi-output property solver.
Diffstat (limited to 'src/aig/gia')
| -rw-r--r-- | src/aig/gia/gia.h | 1 | ||||
| -rw-r--r-- | src/aig/gia/giaMan.c | 2 | ||||
| -rw-r--r-- | src/aig/gia/giaUtil.c | 2 |
3 files changed, 4 insertions, 1 deletions
diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h index 122e5025..8d953273 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -133,6 +133,7 @@ struct Gia_Man_t_ Vec_Int_t * vLutConfigs; // LUT configurations Abc_Cex_t * pCexComb; // combinational counter-example Abc_Cex_t * pCexSeq; // sequential counter-example + Vec_Ptr_t * vSeqModelVec; // sequential counter-examples int * pCopies; // intermediate copies Vec_Int_t * vTruths; // used for truth table computation Vec_Int_t * vFlopClasses; // classes of flops for retiming/merging/etc diff --git a/src/aig/gia/giaMan.c b/src/aig/gia/giaMan.c index 2eaf8eee..eb728cd0 100644 --- a/src/aig/gia/giaMan.c +++ b/src/aig/gia/giaMan.c @@ -72,6 +72,8 @@ Gia_Man_t * Gia_ManStart( int nObjsMax ) ***********************************************************************/ void Gia_ManStop( Gia_Man_t * p ) { + if ( p->vSeqModelVec ) + Vec_PtrFreeFree( p->vSeqModelVec ); Gia_ManStaticFanoutStop( p ); Tim_ManStopP( (Tim_Man_t **)&p->pManTime ); assert( p->pManTime == NULL ); diff --git a/src/aig/gia/giaUtil.c b/src/aig/gia/giaUtil.c index 08136e7d..f3edca36 100644 --- a/src/aig/gia/giaUtil.c +++ b/src/aig/gia/giaUtil.c @@ -1716,7 +1716,7 @@ int Gia_ManHasChoices_very_old( Gia_Man_t * p ) SeeAlso [] ***********************************************************************/ -Vec_Int_t * Gia_ManMultiProve( Gia_Man_t * pInit, char * pCommLine, int nGroupSize, int fVerbose ) +Vec_Int_t * Gia_ManGroupProve( Gia_Man_t * pInit, char * pCommLine, int nGroupSize, int fVerbose ) { Abc_Frame_t * pAbc = Abc_FrameReadGlobalFrame(); Gia_Man_t * p = Gia_ManDup( pInit ); |