Extension in the detection code.

src/aig/gia/giaSweep.c

@@ -665,6 +665,8 @@ Gia_Man_t * Gia_ManSweepWithBoxesAndDomains( Gia_Man_t * p, void * pParsS, int f
             continue;
         // find global equivalences
         pClp = Gia_ManDupCollapse( pNew, pNew->pAigExtra, NULL, 1 );
+        //Gia_DumpAiger( pClp, p->pSpec, iDom, 2 );
+        //Gia_ManPrintStats( pClp, NULL );
         // compute equivalences
         Gia_ManSweepComputeOneDomainEquivs( pClp, pNew->vRegClasses, iDom, pParsS, fConst, fEquiv, fVerbose );
         // transfer equivalences
@@ -728,6 +730,7 @@ Gia_Man_t * Gia_ManSweepWithBoxes( Gia_Man_t * p, void * pParsC, void * pParsS,
     nFlops = Vec_IntCountEntry(pNew->vRegClasses, 1);
     // find global equivalences
     pClp = Gia_ManDupCollapse( pNew, pNew->pAigExtra, NULL, pParsC ? 0 : 1 );
+    //Gia_DumpAiger( pClp, p->pSpec, 1, 1 );
     // compute equivalences
     if ( pParsC )
         Gia_ManFraigSweepPerform( pClp, pParsC );

src/base/abci/abc.c

@@ -7226,15 +7226,18 @@ usage:
 ***********************************************************************/
 int Abc_CommandDetect( Abc_Frame_t * pAbc, int argc, char ** argv )
 {
-    extern void Abc_NtkDetectClassesTest( Abc_Ntk_t * pNtk, int fVerbose );
+    extern void Abc_NtkDetectClassesTest( Abc_Ntk_t * pNtk, int fSeq, int fVerbose );
     Abc_Ntk_t * pNtk;
-    int c, fVerbose = 0;
+    int c, fSeq = 0, fVerbose = 0;
     pNtk = Abc_FrameReadNtk(pAbc);
     Extra_UtilGetoptReset();
-    while ( ( c = Extra_UtilGetopt( argc, argv, "vh" ) ) != EOF )
+    while ( ( c = Extra_UtilGetopt( argc, argv, "svh" ) ) != EOF )
     {
         switch ( c )
         {
+        case 's':
+            fSeq ^= 1;
+            break;
         case 'v':
             fVerbose ^= 1;
             break;
@@ -7254,12 +7257,13 @@ int Abc_CommandDetect( Abc_Frame_t * pAbc, int argc, char ** argv )
         Abc_Print( -1, "Only applicable to a logic network.\n" );
         return 1;
     }
-    Abc_NtkDetectClassesTest( pNtk, fVerbose );
+    Abc_NtkDetectClassesTest( pNtk, fSeq, fVerbose );
     return 0;
 
 usage:
-    Abc_Print( -2, "usage: detect [-vh]\n" );
+    Abc_Print( -2, "usage: detect [-svh]\n" );
     Abc_Print( -2, "\t           detects properties of internal nodes\n" );
+    Abc_Print( -2, "\t-s       : toggle using sequential circuit information [default = %s]\n", fSeq? "yes": "no" );
     Abc_Print( -2, "\t-v       : toggle verbose printout [default = %s]\n", fVerbose? "yes": "no" );
     Abc_Print( -2, "\t-h       : print the command usage\n");
     return 1;

src/base/abci/abcDetect.c

@@ -193,7 +193,7 @@ finish:
   SeeAlso     []
 
 ***********************************************************************/
-void Abc_NtkDetectClassesTest( Abc_Ntk_t * pNtk, int fVerbose )
+void Abc_NtkDetectClassesTest( Abc_Ntk_t * pNtk, int fSeq, int fVerbose )
 {
     printf( "This procedure is currently not used.\n" );
 }

src/base/io/ioReadBench.c

@@ -94,6 +94,7 @@ Abc_Ntk_t * Io_ReadBenchNetwork( Extra_FileReader_t * p )
     
     // allocate the empty network
     pNtk = Abc_NtkStartRead( Extra_FileReaderGetFileName(p) );
+    pNtk->nConstrs = 0;
 
     // go through the lines of the file
     vString = Vec_StrAlloc( 100 );
@@ -140,6 +141,7 @@ Abc_Ntk_t * Io_ReadBenchNetwork( Extra_FileReader_t * p )
                         pTerm = Abc_NtkCreatePo( pNtk );
                         Abc_ObjAddFanin( pTerm, pNet );
                     }
+                    pNtk->nConstrs++;
                 }
                 else
                 {