diff options
Diffstat (limited to 'src/aig/cec')
| -rw-r--r-- | src/aig/cec/cecCorr.c | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src/aig/cec/cecCorr.c b/src/aig/cec/cecCorr.c index 27a7dd36..52d2b80e 100644 --- a/src/aig/cec/cecCorr.c +++ b/src/aig/cec/cecCorr.c @@ -1007,20 +1007,21 @@ void Cec_ManPrintFlopEquivs( Gia_Man_t * p ) Gia_ManForEachRo( p, pObj, i ) { if ( Gia_ObjIsConst(p, Gia_ObjId(p, pObj)) ) - printf( "Flop \"%s\" is equivalent to constant 0.\n", Vec_PtrEntry(p->vNamesIn, Gia_ObjCioId(pObj)) ); + printf( "Original flop %s is proved equivalent to constant.\n", Vec_PtrEntry(p->vNamesIn, Gia_ObjCioId(pObj)) ); else if ( (pRepr = Gia_ObjReprObj(p, Gia_ObjId(p, pObj))) ) { if ( Gia_ObjIsCi(pRepr) ) - printf( "Flop \"%s\" is equivalent to flop \"%s\".\n", - Vec_PtrEntry( p->vNamesIn, Gia_ObjCioId(pObj) ), + printf( "Original flop %s is proved equivalent to flop %s.\n", + Vec_PtrEntry( p->vNamesIn, Gia_ObjCioId(pObj) ), Vec_PtrEntry( p->vNamesIn, Gia_ObjCioId(pRepr) ) ); else - printf( "Flop \"%s\" is equivalent to internal node %d.\n", + printf( "Original flop %s is proved equivalent to internal node %d.\n", Vec_PtrEntry( p->vNamesIn, Gia_ObjCioId(pObj) ), Gia_ObjId(p, pRepr) ); } } } + /**Function************************************************************* Synopsis [Top-level procedure for register correspondence.] |