diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-05-03 10:32:30 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-05-03 10:32:30 -0700 |
| commit | d51f798956a9f9fbdd1fc4eeecc483e511b1c3d3 (patch) | |
| tree | d38196e861394a3cb9436a438af640e167572c51 /src/base/acb/acbFunc.c | |
| parent | 54763e6882fc88d12fadfcd7df1b40d52b8f9beb (diff) | |
| download | abc-d51f798956a9f9fbdd1fc4eeecc483e511b1c3d3.tar.gz abc-d51f798956a9f9fbdd1fc4eeecc483e511b1c3d3.tar.bz2 abc-d51f798956a9f9fbdd1fc4eeecc483e511b1c3d3.zip | |
Experimental resubstitution.
Diffstat (limited to 'src/base/acb/acbFunc.c')
| -rw-r--r-- | src/base/acb/acbFunc.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/acb/acbFunc.c b/src/base/acb/acbFunc.c index 8f72a00f..485a5e4e 100644 --- a/src/base/acb/acbFunc.c +++ b/src/base/acb/acbFunc.c @@ -1541,7 +1541,7 @@ char * Acb_EnumerateSatAssigns( sat_solver * pSat, int PivotVar, int FreeVar, Ve { if ( iMint == 1000 ) { - //if ( Vec_IntSize(vDivVars) == 0 ) + if ( Vec_IntSize(vDivVars) == 0 ) { printf( "Assuming constant 0 function.\n" ); Vec_StrClear( vTempSop ); @@ -2511,7 +2511,7 @@ int Acb_NtkEcoPerform( Acb_Ntk_t * pNtkF, Acb_Ntk_t * pNtkG, char * pFileName[4] abctime clk = Abc_Clock(); int nTargets = Vec_IntSize(&pNtkF->vTargets); - int TimeOut = fCisOnly ? 0 : 60; // 60 seconds + int TimeOut = fCisOnly ? 0 : 120; // 60 seconds int RetValue = 1; // compute various sets of nodes |