diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-07-11 21:26:34 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-07-11 21:26:34 -0700 |
| commit | 772eaa634505a9792e44bf03e65ddcdf139ca25b (patch) | |
| tree | ffe6d4f47e5f97df76573febacb535f7d00e4646 /src | |
| parent | 494ca7156cd159433731a092add772d0033de20d (diff) | |
| download | abc-772eaa634505a9792e44bf03e65ddcdf139ca25b.tar.gz abc-772eaa634505a9792e44bf03e65ddcdf139ca25b.tar.bz2 abc-772eaa634505a9792e44bf03e65ddcdf139ca25b.zip | |
Assertion fail after 'print_supp -w'.
Diffstat (limited to 'src')
| -rw-r--r-- | src/base/abci/abcPrint.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/base/abci/abcPrint.c b/src/base/abci/abcPrint.c index c2810f90..a50b522c 100644 --- a/src/base/abci/abcPrint.c +++ b/src/base/abci/abcPrint.c @@ -1253,7 +1253,10 @@ void Abc_NtkPrintStrSupports( Abc_Ntk_t * pNtk, int fMatrix ) Vec_PtrFree( vSupp ); } if ( !fMatrix ) + { + Abc_NtkCleanMarkA( pNtk ); return; + } Abc_NtkForEachCi( pNtk, pObj, k ) pObj->fMarkA = 0; @@ -1273,7 +1276,7 @@ void Abc_NtkPrintStrSupports( Abc_Ntk_t * pNtk, int fMatrix ) Abc_NtkForEachCi( pNtk, pObj, k ) pObj->fMarkA = 0; } - + Abc_NtkCleanMarkA( pNtk ); } /**Function************************************************************* |