Enabled counter-example minimization in 'write_counter'.

1 files changed, 19 insertions, 1 deletions

diff --git a/src/misc/util/utilCex.c b/src/misc/util/utilCex.c
index 72989535..37205543 100644
--- a/src/misc/util/utilCex.c
+++ b/src/misc/util/utilCex.c
@@ -196,7 +196,7 @@ void Abc_CexPrintStats( Abc_Cex_t * p )
     for ( k = 0; k < p->nBits; k++ )
         Counter += Abc_InfoHasBit(p->pData, k);
     printf( "CEX: iPo = %d  iFrame = %d  nRegs = %d  nPis = %d  nBits = %d  nOnes = %5d (%5.2f %%)\n", 
-        p->iPo, p->iFrame, p->nRegs, p->nPis, p->nBits, Counter, 100.0 * Counter / p->nBits );
+        p->iPo, p->iFrame, p->nRegs, p->nPis, p->nBits, Counter, 100.0 * Counter / (p->nBits - p->nRegs) );
 }
 
 /**Function*************************************************************
@@ -244,6 +244,24 @@ void Abc_CexPrint( Abc_Cex_t * p )
   SeeAlso     []
 
 ***********************************************************************/
+void Abc_CexFreeP( Abc_Cex_t ** p )
+{
+    if ( *p == NULL )
+        return;
+    ABC_FREE( *p );
+}
+
+/**Function*************************************************************
+
+  Synopsis    [Frees the counter-example.]
+
+  Description []
+               
+  SideEffects []
+
+  SeeAlso     []
+
+***********************************************************************/
 void Abc_CexFree( Abc_Cex_t * p )
 {
     ABC_FREE( p );