diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-11-11 20:56:05 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-11-11 20:56:05 -0800 |
| commit | 3beb36778ec35702690833e6a5d01498d1113b28 (patch) | |
| tree | bf9a89c9505ee2badb4eae7983cd2f2f03f90136 /src/misc/util | |
| parent | 9fe4c74952691c3a6cc87dc85edb43da11dd8c8e (diff) | |
| download | abc-3beb36778ec35702690833e6a5d01498d1113b28.tar.gz abc-3beb36778ec35702690833e6a5d01498d1113b28.tar.bz2 abc-3beb36778ec35702690833e6a5d01498d1113b28.zip | |
Enabled counter-example minimization in 'write_counter'.
Diffstat (limited to 'src/misc/util')
| -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 |