Experiments with the SAT sweeper.

berkeley-abc · Sep 5, 2023 · 7df17e3 · 7df17e3
1 parent 167fcea
commit 7df17e3
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/proof/cec/cecSatG2.c b/src/proof/cec/cecSatG2.c
@@ -1919,11 +1919,11 @@ int Cec4_ManPerformSweeping( Gia_Man_t * p, Cec_ParFra_t * pPars, Gia_Man_t ** p
         char pFileName[1000], * pBase = Extra_FileNameGeneric(p->pName);
         extern Gia_Man_t * Gia_ManDupMiterCones( Gia_Man_t * p, Vec_Int_t * vPairs );
         Gia_Man_t * pM = Gia_ManDupMiterCones( p, pMan->vPairs );
-        sprintf( pFileName, "%s_miter.aig", pBase );
+        sprintf( pFileName, "%s_sm.aig", pBase );
         Gia_AigerWrite( pM, pFileName, 0, 0, 0 );
         Gia_ManStop( pM );
         ABC_FREE( pBase );
-        printf( "Dumped miter \"%s\" with %d pairs.\n", pFileName, pMan->vPairs ? Vec_IntSize(pMan->vPairs) : -1 );
+        printf( "Dumped miter \"%s\" with %d pairs.\n", pFileName, pMan->vPairs ? Vec_IntSize(pMan->vPairs)/2 : -1 );
     }
     Cec4_ManDestroy( pMan );
     //Gia_ManStaticFanoutStop( p );