diff options
Diffstat (limited to 'src/base/abci/abcVanImp.c')
| -rw-r--r-- | src/base/abci/abcVanImp.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/base/abci/abcVanImp.c b/src/base/abci/abcVanImp.c index 28320028..8188cb01 100644 --- a/src/base/abci/abcVanImp.c +++ b/src/base/abci/abcVanImp.c @@ -102,7 +102,7 @@ static inline void Abc_NodeVanPrintImp( unsigned Imp ) } //////////////////////////////////////////////////////////////////////// -/// FUNCTION DEFITIONS /// +/// FUNCTION DEFINITIONS /// //////////////////////////////////////////////////////////////////////// /**Function************************************************************* @@ -225,6 +225,7 @@ p->timeMis += clock() - clk; { printf( "Pairs = %8d. Imps = %8d. Seq = %7d. MIS = %7d. Equ = %5d. Const = %5d.\n", p->nPairsAll, p->nImpsAll, Vec_IntSize(p->vImps), Vec_IntSize(p->vImpsMis), p->nEquals, p->nZeros ); + PRT( "Visiting all nodes pairs while preparing for the inductive case", p->timeAll ); printf( "Start : Seq = %7d. MIS = %7d. Const = %5d.\n", Vec_IntSize(p->vImps), Vec_IntSize(p->vImpsMis), Vec_PtrSize(p->vZeros) ); } |