diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2022-09-19 10:48:41 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2022-09-19 10:48:41 -0700 |
commit | b69f439609c248db1f17408d550693fec30cbea5 (patch) | |
tree | 1722330bc1f5a6d7b97d7e30756642f83c404233 /src/proof/cec | |
parent | 0ed81b34f1048a10aa1b6785c2fb65b526c77b5a (diff) | |
download | abc-b69f439609c248db1f17408d550693fec30cbea5.tar.gz abc-b69f439609c248db1f17408d550693fec30cbea5.tar.bz2 abc-b69f439609c248db1f17408d550693fec30cbea5.zip |
Adding args to command %yosys.
Diffstat (limited to 'src/proof/cec')
-rw-r--r-- | src/proof/cec/cecClass.c | 20 |
1 files changed, 18 insertions, 2 deletions
diff --git a/src/proof/cec/cecClass.c b/src/proof/cec/cecClass.c index be88b9be..60fdbc89 100644 --- a/src/proof/cec/cecClass.c +++ b/src/proof/cec/cecClass.c @@ -265,10 +265,13 @@ void Cec_ManSimClassCreate( Gia_Man_t * p, Vec_Int_t * vClass ) SeeAlso [] ***********************************************************************/ -int Cec_ManSimClassRefineOne( Cec_ManSim_t * p, int i ) +static int s_Count = 0; + +int Cec_ManSimClassRefineOne_rec( Cec_ManSim_t * p, int i ) { unsigned * pSim0, * pSim1; int Ent; + s_Count++; Vec_IntClear( p->vClassOld ); Vec_IntClear( p->vClassNew ); Vec_IntPush( p->vClassOld, i ); @@ -290,9 +293,22 @@ int Cec_ManSimClassRefineOne( Cec_ManSim_t * p, int i ) Cec_ManSimClassCreate( p->pAig, p->vClassOld ); Cec_ManSimClassCreate( p->pAig, p->vClassNew ); if ( Vec_IntSize(p->vClassNew) > 1 ) - return 1 + Cec_ManSimClassRefineOne( p, Vec_IntEntry(p->vClassNew,0) ); + return 1 + Cec_ManSimClassRefineOne_rec( p, Vec_IntEntry(p->vClassNew,0) ); return 1; } +int Cec_ManSimClassRefineOne_( Cec_ManSim_t * p, int i ) +{ + int Res; + s_Count = 0; + Res = Cec_ManSimClassRefineOne_rec( p, i ); + if ( s_Count > 10 ) + printf( "%d ", s_Count ); + return Res; +} +int Cec_ManSimClassRefineOne( Cec_ManSim_t * p, int i ) +{ + return Cec_ManSimClassRefineOne_rec( p, i ); +} /**Function************************************************************* |