From c339e5b98521fd1199d54d9c7dee02fc1f1968b9 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 21 Nov 2014 10:14:48 -0800
Subject: Fix in reading flop classes.

---
 src/aig/gia/giaMan.c | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'src/aig')

diff --git a/src/aig/gia/giaMan.c b/src/aig/gia/giaMan.c
index 31b7490c..2a969432 100644
--- a/src/aig/gia/giaMan.c
+++ b/src/aig/gia/giaMan.c
@@ -463,7 +463,13 @@ void Gia_ManPrintStats( Gia_Man_t * p, Gps_Par_t * pPars )
 //    if ( p->pManTime )
 //        Tim_ManPrintStats( (Tim_Man_t *)p->pManTime, p->nAnd2Delay );
     // print register classes
-    Gia_ManPrintFlopClasses( p );
+    if ( p->vFlopClasses && Gia_ManRegNum(p) == 0 )
+    {
+        printf( "The design has %d flops with the following class info: ", Vec_IntSize(p->vFlopClasses) );
+        Vec_IntPrint( p->vFlopClasses );
+    }
+    else
+        Gia_ManPrintFlopClasses( p );
     Gia_ManPrintGateClasses( p );
     Gia_ManPrintObjClasses( p );
     if ( p->vInitClasses )
-- 
cgit v1.2.3