diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-10-11 18:07:35 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-10-11 18:07:35 +0700 |
| commit | 711ea3dfecc62cba9035a7e655dec4e4119420f0 (patch) | |
| tree | cbaaa685513148d602dd594743cd74edd8c4f4ff /src/misc/util | |
| parent | f97b8d2882bc69d37e6559a12b9e31a988a7eb97 (diff) | |
| download | abc-711ea3dfecc62cba9035a7e655dec4e4119420f0.tar.gz abc-711ea3dfecc62cba9035a7e655dec4e4119420f0.tar.bz2 abc-711ea3dfecc62cba9035a7e655dec4e4119420f0.zip | |
Another variation on exact synthesis.
Diffstat (limited to 'src/misc/util')
| -rw-r--r-- | src/misc/util/utilTruth.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/misc/util/utilTruth.h b/src/misc/util/utilTruth.h index a9585c74..e0210a66 100644 --- a/src/misc/util/utilTruth.h +++ b/src/misc/util/utilTruth.h @@ -1063,7 +1063,7 @@ static inline int Abc_TtReadHex( word * pTruth, char * pString ) } } // determine the number of variables - nVars = 2 + Abc_Base2Log( nDigits ); + nVars = 2 + (nDigits == 1 ? 0 : Abc_Base2Log(nDigits)); // clean storage for ( k = Abc_TtWordNum(nVars) - 1; k >= 0; k-- ) pTruth[k] = 0; |