diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-25 13:20:18 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-25 13:20:18 -0700 |
| commit | 8c369788b310a8a1aa52a937c94df1327e13417a (patch) | |
| tree | 08d66b18c92a9b96992c9b8ef5985bfe49fdb2a6 /src | |
| parent | 0a9236add5e4c4f81dfff79f0ec24fc7d69cf323 (diff) | |
| download | abc-8c369788b310a8a1aa52a937c94df1327e13417a.tar.gz abc-8c369788b310a8a1aa52a937c94df1327e13417a.tar.bz2 abc-8c369788b310a8a1aa52a937c94df1327e13417a.zip | |
Improvements to the NPN semi-canonical form computation package.
Diffstat (limited to 'src')
| -rw-r--r-- | src/base/abci/abcNpn.c | 2 | ||||
| -rw-r--r-- | src/bool/lucky/luckySimple.c | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/base/abci/abcNpn.c b/src/base/abci/abcNpn.c index c1cb4ae0..0ca6c70b 100644 --- a/src/base/abci/abcNpn.c +++ b/src/base/abci/abcNpn.c @@ -177,7 +177,7 @@ void Abc_TruthNpnPerform( Abc_TtStore_t * p, int NpnType, int fVerbose ) char pCanonPerm[16]; unsigned uCanonPhase=0; clock_t clk = clock(); - int i, maxCtr=0; + int i; char * pAlgoName = NULL; if ( NpnType == 0 ) diff --git a/src/bool/lucky/luckySimple.c b/src/bool/lucky/luckySimple.c index 52e5e13d..c38fc28c 100644 --- a/src/bool/lucky/luckySimple.c +++ b/src/bool/lucky/luckySimple.c @@ -87,7 +87,7 @@ int oneBitPosition(int x, int size) { int i; for(i=0;i<size;i++) - if((x>>i)&1 == 1) + if((x>>i)&1) return i; return -1; } |