diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-06 12:07:04 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-06 12:07:04 -0700 |
| commit | faf3bf34af25297baeb454597c7d92aa75778961 (patch) | |
| tree | eb6cc83b5669b43aba0fbcb04d8d9f61a570ed47 /src/map/if/ifDelay.c | |
| parent | 9c502b70f392e2a797f5105c916d558f6108748b (diff) | |
| download | abc-faf3bf34af25297baeb454597c7d92aa75778961.tar.gz abc-faf3bf34af25297baeb454597c7d92aa75778961.tar.bz2 abc-faf3bf34af25297baeb454597c7d92aa75778961.zip | |
Improvement in SOP balancing.
Diffstat (limited to 'src/map/if/ifDelay.c')
| -rw-r--r-- | src/map/if/ifDelay.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/map/if/ifDelay.c b/src/map/if/ifDelay.c index d5a31850..f2e8399a 100644 --- a/src/map/if/ifDelay.c +++ b/src/map/if/ifDelay.c @@ -245,7 +245,7 @@ word If_AigVerifyArray( Vec_Int_t * vAig, int nLeaves, int fCompl ) } else { - word Truth0, Truth1, TruthR; + word Truth0 = 0, Truth1 = 0, TruthR; int i, iVar0, iVar1, iLit0, iLit1; assert( Vec_IntSize(vAig) & 1 ); Vec_IntForEachEntryDouble( vAig, iLit0, iLit1, i ) |