From a1e9f668a88f01dccda8da1bc5ca8e22211b1751 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 4 Oct 2015 17:45:24 -0700 Subject: Adding support for black boxes in extended AIG. --- src/aig/gia/giaMan.c | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/aig/gia/giaMan.c') diff --git a/src/aig/gia/giaMan.c b/src/aig/gia/giaMan.c index 78c9e42f..bae40c9a 100644 --- a/src/aig/gia/giaMan.c +++ b/src/aig/gia/giaMan.c @@ -447,6 +447,8 @@ void Gia_ManPrintStats( Gia_Man_t * p, Gps_Par_t * pPars ) Abc_Print( 1, " ch =%5d", Gia_ManChoiceNum(p) ); if ( p->pManTime ) Abc_Print( 1, " box = %d", Gia_ManNonRegBoxNum(p) ); + if ( p->pManTime ) + Abc_Print( 1, " bb = %d", Gia_ManBlackBoxNum(p) ); if ( Gia_ManBufNum(p) ) Abc_Print( 1, " buf = %d", Gia_ManBufNum(p) ); if ( pPars && pPars->fMuxXor ) -- cgit v1.2.3