diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-07-07 15:38:54 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-07-07 15:38:54 -0700 |
commit | 8efc9cb7a97ef16de0869656c7bf00f4e2111594 (patch) | |
tree | ba397c1907dd7210f803522bd39ed2b405c22a28 /src/base/abci/abcPrint.c | |
parent | 43ad54b9388f0b858f4401e77cfd5d7200819b93 (diff) | |
download | abc-8efc9cb7a97ef16de0869656c7bf00f4e2111594.tar.gz abc-8efc9cb7a97ef16de0869656c7bf00f4e2111594.tar.bz2 abc-8efc9cb7a97ef16de0869656c7bf00f4e2111594.zip |
Bug fixing in %blast when blasting mod operator (handling zero divisor).
Diffstat (limited to 'src/base/abci/abcPrint.c')
-rw-r--r-- | src/base/abci/abcPrint.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/abci/abcPrint.c b/src/base/abci/abcPrint.c index b69804a2..c2810f90 100644 --- a/src/base/abci/abcPrint.c +++ b/src/base/abci/abcPrint.c @@ -443,13 +443,13 @@ void Abc_NtkPrintIo( FILE * pFile, Abc_Ntk_t * pNtk, int fPrintFlops ) fprintf( pFile, "Primary inputs (%d): ", Abc_NtkPiNum(pNtk) ); Abc_NtkForEachPi( pNtk, pObj, i ) - fprintf( pFile, " %s", Abc_ObjName(pObj) ); + fprintf( pFile, " %d=%s", i, Abc_ObjName(pObj) ); // fprintf( pFile, " %s(%d)", Abc_ObjName(pObj), Abc_ObjFanoutNum(pObj) ); fprintf( pFile, "\n" ); fprintf( pFile, "Primary outputs (%d):", Abc_NtkPoNum(pNtk) ); Abc_NtkForEachPo( pNtk, pObj, i ) - fprintf( pFile, " %s", Abc_ObjName(pObj) ); + fprintf( pFile, " %d=%s", i, Abc_ObjName(pObj) ); fprintf( pFile, "\n" ); if ( !fPrintFlops ) |