diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-07-31 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-07-31 08:01:00 -0700 |
| commit | 29c9b0c0c4c66cb09b7c00c5c7290141be2af6a0 (patch) | |
| tree | cd06159f7ddf9e75fc8dff354a7ef5c593b56856 /src/aig/cnf | |
| parent | fefd8b901d89ad0d977db8896c12123cc747e3d7 (diff) | |
| download | abc-29c9b0c0c4c66cb09b7c00c5c7290141be2af6a0.tar.gz abc-29c9b0c0c4c66cb09b7c00c5c7290141be2af6a0.tar.bz2 abc-29c9b0c0c4c66cb09b7c00c5c7290141be2af6a0.zip | |
Version abc70731
Diffstat (limited to 'src/aig/cnf')
| -rw-r--r-- | src/aig/cnf/cnfCore.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/aig/cnf/cnfCore.c b/src/aig/cnf/cnfCore.c index 13de745b..06731451 100644 --- a/src/aig/cnf/cnfCore.c +++ b/src/aig/cnf/cnfCore.c @@ -75,6 +75,8 @@ clk = clock(); Aig_MmFixedStop( pMemCuts, 0 ); p->timeSave = clock() - clk; + // reset reference counters + Aig_ManResetRefs( pAig ); //PRT( "Cuts ", p->timeCuts ); //PRT( "Map ", p->timeMap ); //PRT( "Saving ", p->timeSave ); |