diff options
Diffstat (limited to 'src/misc')
-rw-r--r-- | src/misc/util/utilCex.c | 20 | ||||
-rw-r--r-- | src/misc/util/utilCex.h | 1 |
2 files changed, 20 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 ); diff --git a/src/misc/util/utilCex.h b/src/misc/util/utilCex.h index c52806fc..556f2268 100644 --- a/src/misc/util/utilCex.h +++ b/src/misc/util/utilCex.h @@ -63,6 +63,7 @@ extern Abc_Cex_t * Abc_CexDup( Abc_Cex_t * p, int nRegsNew ); extern Abc_Cex_t * Abc_CexDeriveFromCombModel( int * pModel, int nPis, int nRegs, int iPo ); extern void Abc_CexPrintStats( Abc_Cex_t * p ); extern void Abc_CexPrint( Abc_Cex_t * p ); +extern void Abc_CexFreeP( Abc_Cex_t ** p ); extern void Abc_CexFree( Abc_Cex_t * p ); ABC_NAMESPACE_HEADER_END |