diff options
Diffstat (limited to 'src/proof/ssc/sscSim.c')
| -rw-r--r-- | src/proof/ssc/sscSim.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/proof/ssc/sscSim.c b/src/proof/ssc/sscSim.c index 89585ba6..9a2c1033 100644 --- a/src/proof/ssc/sscSim.c +++ b/src/proof/ssc/sscSim.c @@ -212,6 +212,7 @@ void Ssc_GiaSimRound( Gia_Man_t * p ) assert( pSim == Gia_ObjSimObj( p, pObj ) ); pSim0 = pSim - pObj->iDiff0 * nWords; Ssc_SimDup( pSim, pSim0, nWords, Gia_ObjFaninC0(pObj) ); +// Extra_PrintBinary( stdout, pSim, 64 ), printf( "\n" ); pSim += nWords; } } |