diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-03 00:38:17 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-03 00:38:17 -0700 |
| commit | 7ba37f4901cfe1aed8da2bd156c6ba65d0d40495 (patch) | |
| tree | 970fee84137c9aa186fb31bb1c9cb82fdaa79570 /src/misc/util | |
| parent | 7e9f0df3f71b525ef9d95987cf8f510f5fc218b8 (diff) | |
| download | abc-7ba37f4901cfe1aed8da2bd156c6ba65d0d40495.tar.gz abc-7ba37f4901cfe1aed8da2bd156c6ba65d0d40495.tar.bz2 abc-7ba37f4901cfe1aed8da2bd156c6ba65d0d40495.zip | |
Improved DSD.
Diffstat (limited to 'src/misc/util')
| -rw-r--r-- | src/misc/util/utilTruth.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/misc/util/utilTruth.h b/src/misc/util/utilTruth.h index f6476724..22ad6aba 100644 --- a/src/misc/util/utilTruth.h +++ b/src/misc/util/utilTruth.h @@ -530,7 +530,8 @@ static inline int Abc_TtSuppFindFirst( int Supp ) } static inline int Abc_TtSuppOnlyOne( int Supp ) { - assert( Supp > 0 ); + if ( Supp == 0 ) + return 0; return (Supp & (Supp-1)) == 0; } static inline int Abc_TtSuppIsMinBase( int Supp ) |