diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-02-15 18:47:56 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-02-15 18:47:56 -0800 |
commit | 5e0d7dadc2c64b119fb72f792d9ff470952c940e (patch) | |
tree | 3906f77de19932d7d629118b6bd24a9846e90a2f /src/base | |
parent | 17c78313cc2c9cef4ef734d95e9dd2036be97e2e (diff) | |
download | abc-5e0d7dadc2c64b119fb72f792d9ff470952c940e.tar.gz abc-5e0d7dadc2c64b119fb72f792d9ff470952c940e.tar.bz2 abc-5e0d7dadc2c64b119fb72f792d9ff470952c940e.zip |
Assertion failure in 'write_hie' with blackboxes.
Diffstat (limited to 'src/base')
-rw-r--r-- | src/base/abc/abcFunc.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/base/abc/abcFunc.c b/src/base/abc/abcFunc.c index 628a803f..2778e8d7 100644 --- a/src/base/abc/abcFunc.c +++ b/src/base/abc/abcFunc.c @@ -1143,6 +1143,8 @@ int Abc_NtkSopToBlifMv( Abc_Ntk_t * pNtk ) int Abc_NtkToSop( Abc_Ntk_t * pNtk, int fDirect, int nCubeLimit ) { assert( !Abc_NtkIsStrash(pNtk) ); + if ( Abc_NtkHasBlackbox(pNtk) ) + return 1; if ( Abc_NtkHasSop(pNtk) ) { if ( !fDirect ) @@ -1179,6 +1181,8 @@ int Abc_NtkToSop( Abc_Ntk_t * pNtk, int fDirect, int nCubeLimit ) int Abc_NtkToBdd( Abc_Ntk_t * pNtk ) { assert( !Abc_NtkIsStrash(pNtk) ); + if ( Abc_NtkHasBlackbox(pNtk) ) + return 1; if ( Abc_NtkHasBdd(pNtk) ) return 1; if ( Abc_NtkHasMapping(pNtk) ) @@ -1211,6 +1215,8 @@ int Abc_NtkToBdd( Abc_Ntk_t * pNtk ) int Abc_NtkToAig( Abc_Ntk_t * pNtk ) { assert( !Abc_NtkIsStrash(pNtk) ); + if ( Abc_NtkHasBlackbox(pNtk) ) + return 1; if ( Abc_NtkHasAig(pNtk) ) return 1; if ( Abc_NtkHasMapping(pNtk) ) |