diff options
Diffstat (limited to 'src/aig/dar/darLib.c')
| -rw-r--r-- | src/aig/dar/darLib.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/aig/dar/darLib.c b/src/aig/dar/darLib.c index 52fd36b3..bf78577c 100644 --- a/src/aig/dar/darLib.c +++ b/src/aig/dar/darLib.c @@ -915,7 +915,7 @@ int Dar_LibEval_rec( Dar_LibObj_t * pObj, int Out, int nNodesSaved, int Required SeeAlso [] ***********************************************************************/ -void Dar_LibEval( Dar_Man_t * p, Aig_Obj_t * pRoot, Dar_Cut_t * pCut, int Required ) +void Dar_LibEval( Dar_Man_t * p, Aig_Obj_t * pRoot, Dar_Cut_t * pCut, int Required, int * pnMffcSize ) { int fTraining = 0; float PowerSaved, PowerAdded; @@ -961,6 +961,7 @@ void Dar_LibEval( Dar_Man_t * p, Aig_Obj_t * pRoot, Dar_Cut_t * pCut, int Requir p->GainBest = nNodesGained; p->ClassBest = Class; assert( p->LevelBest <= Required ); + *pnMffcSize = nNodesSaved; } clk = clock() - clk; p->ClassTimes[Class] += clk; |