diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2019-11-01 00:58:12 +0200 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2019-11-01 00:58:12 +0200 |
| commit | 6b2fe00cd82f0229777a6beb2390858834551399 (patch) | |
| tree | f4ba85a0d1aa0888e7fef966d01b5ef6aa03d4dc /src/base/acb | |
| parent | 7f503dc73738b79ed388091f903e8df879c21ac7 (diff) | |
| download | abc-6b2fe00cd82f0229777a6beb2390858834551399.tar.gz abc-6b2fe00cd82f0229777a6beb2390858834551399.tar.bz2 abc-6b2fe00cd82f0229777a6beb2390858834551399.zip | |
Changes to several APIs.
Diffstat (limited to 'src/base/acb')
| -rw-r--r-- | src/base/acb/acb.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/base/acb/acb.h b/src/base/acb/acb.h index 76188f2e..36300efd 100644 --- a/src/base/acb/acb.h +++ b/src/base/acb/acb.h @@ -416,6 +416,7 @@ static inline int Acb_ObjWhatFanin( Acb_Ntk_t * p, int iObj, int iFaninGiven ) static inline void Acb_ObjAddFanin( Acb_Ntk_t * p, int iObj, int iFanin ) { int * pFanins = Acb_ObjFanins( p, iObj ); + assert( iFanin > 0 ); assert( pFanins[ 1 + pFanins[0] ] == -1 ); pFanins[ 1 + pFanins[0]++ ] = iFanin; } |