From 6bd77858c5207a4d6be1b71345a84cbeb7ab6483 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 7 Jul 2015 22:34:21 -0700 Subject: Bug fixing in %blast when blasting MUX coming from always-statement. --- src/aig/gia/giaDup.c | 1 + 1 file changed, 1 insertion(+) (limited to 'src/aig') diff --git a/src/aig/gia/giaDup.c b/src/aig/gia/giaDup.c index 11f68cb4..5e233690 100644 --- a/src/aig/gia/giaDup.c +++ b/src/aig/gia/giaDup.c @@ -2462,6 +2462,7 @@ Gia_Man_t * Gia_ManDupZeroUndc( Gia_Man_t * p, char * pInit, int fVerbose ) Gia_Obj_t * pObj; int CountPis = Gia_ManPiNum(p), * pPiLits; int i, iResetFlop = -1, Count1 = 0; + //printf( "Using %s\n", pInit ); // map X-valued flops into new PIs assert( (int)strlen(pInit) == Gia_ManRegNum(p) ); pPiLits = ABC_FALLOC( int, Gia_ManRegNum(p) ); -- cgit v1.2.3