diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-11 11:47:22 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-11 11:47:22 -0700 |
| commit | 5da7102f552e6c45a146ad18eb46f41189f1d767 (patch) | |
| tree | 1c3f64926507f0d6a1e8116c1e84a3858233bcc7 /src/aig/gia/giaAbsRef.c | |
| parent | 528c8e0bbaaf7e83c48aac237afd1d402fd9c2a1 (diff) | |
| download | abc-5da7102f552e6c45a146ad18eb46f41189f1d767.tar.gz abc-5da7102f552e6c45a146ad18eb46f41189f1d767.tar.bz2 abc-5da7102f552e6c45a146ad18eb46f41189f1d767.zip | |
Fixing undesirable effect of recent refinement code on older code in &gla -n.
Diffstat (limited to 'src/aig/gia/giaAbsRef.c')
| -rw-r--r-- | src/aig/gia/giaAbsRef.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/aig/gia/giaAbsRef.c b/src/aig/gia/giaAbsRef.c index 473afc92..8a5aedc5 100644 --- a/src/aig/gia/giaAbsRef.c +++ b/src/aig/gia/giaAbsRef.c @@ -900,10 +900,10 @@ Vec_Int_t * Ga2_FilterSelected( Rnm_Man_t * p, Vec_Int_t * vSelect ) SeeAlso [] ***********************************************************************/ -Vec_Int_t * Rnm_ManRefine( Rnm_Man_t * p, Abc_Cex_t * pCex, Vec_Int_t * vMap, int fPropFanout, int fVerbose ) +Vec_Int_t * Rnm_ManRefine( Rnm_Man_t * p, Abc_Cex_t * pCex, Vec_Int_t * vMap, int fPropFanout, int fPostProcess, int fVerbose ) { int fVerify = 0; - int fPostProcess = 1; +// int fPostProcess = 1; Vec_Int_t * vSelected = Vec_IntAlloc( 100 ); Vec_Int_t * vNew; clock_t clk, clk2 = clock(); @@ -953,6 +953,7 @@ Vec_Int_t * Rnm_ManRefine( Rnm_Man_t * p, Abc_Cex_t * pCex, Vec_Int_t * vMap, in } else { +/* vNew = Rnm_ManRefineUnsatCore( p, vSelected ); if ( Vec_IntSize(vNew) > 0 ) { @@ -965,6 +966,7 @@ Vec_Int_t * Rnm_ManRefine( Rnm_Man_t * p, Abc_Cex_t * pCex, Vec_Int_t * vMap, in Vec_IntFree( vNew ); // printf( "\nBig refinement.\n" ); } +*/ } // clean values |