diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-07-16 07:28:20 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-07-16 07:28:20 -0700 |
| commit | abdf39711f8c175840da90fd8531183c61691f68 (patch) | |
| tree | 05787dea6fe366beec5c8e8b90d771963a3ee3f3 /src/base/abc | |
| parent | 1343b8a80c7c59c7cc2b14490151de4e5d883734 (diff) | |
| download | abc-abdf39711f8c175840da90fd8531183c61691f68.tar.gz abc-abdf39711f8c175840da90fd8531183c61691f68.tar.bz2 abc-abdf39711f8c175840da90fd8531183c61691f68.zip | |
Several corner-case bugs in %read, &cec, and st.
Diffstat (limited to 'src/base/abc')
| -rw-r--r-- | src/base/abc/abcFunc.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/base/abc/abcFunc.c b/src/base/abc/abcFunc.c index 94706504..b44a272a 100644 --- a/src/base/abc/abcFunc.c +++ b/src/base/abc/abcFunc.c @@ -810,7 +810,7 @@ int Abc_NtkSopToAig( Abc_Ntk_t * pNtk ) { Abc_Obj_t * pNode; Hop_Man_t * pMan; - int i; + int i, Max; assert( Abc_NtkHasSop(pNtk) ); @@ -819,7 +819,8 @@ int Abc_NtkSopToAig( Abc_Ntk_t * pNtk ) // start the functionality manager pMan = Hop_ManStart(); - Hop_IthVar( pMan, Abc_NtkGetFaninMax(pNtk)-1 ); + Max = Abc_NtkGetFaninMax(pNtk); + if ( Max ) Hop_IthVar( pMan, Max-1 ); // convert each node from SOP to BDD Abc_NtkForEachNode( pNtk, pNode, i ) |