diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-07-07 22:34:21 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-07-07 22:34:21 -0700 |
| commit | 6bd77858c5207a4d6be1b71345a84cbeb7ab6483 (patch) | |
| tree | 545eb602ab7e3be42c9091eb7effccc75ec9b63d /src/aig | |
| parent | 8efc9cb7a97ef16de0869656c7bf00f4e2111594 (diff) | |
| download | abc-6bd77858c5207a4d6be1b71345a84cbeb7ab6483.tar.gz abc-6bd77858c5207a4d6be1b71345a84cbeb7ab6483.tar.bz2 abc-6bd77858c5207a4d6be1b71345a84cbeb7ab6483.zip | |
Bug fixing in %blast when blasting MUX coming from always-statement.
Diffstat (limited to 'src/aig')
| -rw-r--r-- | src/aig/gia/giaDup.c | 1 |
1 files changed, 1 insertions, 0 deletions
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) ); |