diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2022-08-30 12:00:33 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2022-08-30 12:00:33 -0700 |
| commit | c3c643820e714cf1ad392a2a84276c7c168cffda (patch) | |
| tree | 77d83dc01ce73074fc0296cb224671162128c1be /src/sat/bmc | |
| parent | 1b0439d128be83914825ed097f4b42201d531213 (diff) | |
| download | abc-c3c643820e714cf1ad392a2a84276c7c168cffda.tar.gz abc-c3c643820e714cf1ad392a2a84276c7c168cffda.tar.bz2 abc-c3c643820e714cf1ad392a2a84276c7c168cffda.zip | |
Various changes.
Diffstat (limited to 'src/sat/bmc')
| -rw-r--r-- | src/sat/bmc/bmcMaj.c | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/src/sat/bmc/bmcMaj.c b/src/sat/bmc/bmcMaj.c index d408c702..2525f943 100644 --- a/src/sat/bmc/bmcMaj.c +++ b/src/sat/bmc/bmcMaj.c @@ -27,6 +27,13 @@ ABC_NAMESPACE_IMPL_START +#ifdef WIN32 +#include <process.h> +#define unlink _unlink +#else +#include <unistd.h> +#endif + //////////////////////////////////////////////////////////////////////// /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// @@ -1252,7 +1259,7 @@ static int Exa3_ManAddCnfStart( Exa3_Man_t * p, int fOnlyAnd ) } //#ifdef USE_NODE_ORDER // node ordering - if ( p->pPars->fUseIncr ) + if ( p->pPars->fOrderNodes ) { for ( j = p->nVars; j < i; j++ ) for ( n = 0; n < p->nObjs; n++ ) if ( p->VarMarks[i][0][n] ) @@ -1616,6 +1623,7 @@ Vec_Int_t * Exa4_ManParse( char * pFileName ) assert( 0 ); } fclose( pFile ); + unlink( pFileName ); return vRes; } Vec_Int_t * Exa4_ManSolve( char * pFileNameIn, char * pFileNameOut, int TimeOut, int fVerbose ) |