diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/aig/fra/fraSec.c | 2 | ||||
| -rw-r--r-- | src/base/abci/abc.c | 2 | ||||
| -rw-r--r-- | src/map/pcm/module.make | 0 | ||||
| -rw-r--r-- | src/map/ply/module.make | 0 |
4 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/fra/fraSec.c b/src/aig/fra/fraSec.c index c01c7a84..2ca99cbf 100644 --- a/src/aig/fra/fraSec.c +++ b/src/aig/fra/fraSec.c @@ -45,7 +45,7 @@ void Fra_SecSetDefaultParams( Fra_Sec_t * p ) memset( p, 0, sizeof(Fra_Sec_t) ); p->fTryComb = 1; // try CEC call as a preprocessing step p->fTryBmc = 1; // try BMC call as a preprocessing step - p->nFramesMax = 2; // the max number of frames used for induction + p->nFramesMax = 4; // the max number of frames used for induction p->fPhaseAbstract = 1; // enables phase abstraction p->fRetimeFirst = 1; // enables most-forward retiming at the beginning p->fRetimeRegs = 1; // enables min-register retiming at the beginning diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index fc4056a4..39fdb9fb 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -14291,7 +14291,7 @@ int Abc_CommandDSec( Abc_Frame_t * pAbc, int argc, char ** argv ) // set defaults Fra_SecSetDefaultParams( pSecPar ); - pSecPar->TimeLimit = 300; + pSecPar->TimeLimit = 600; Extra_UtilGetoptReset(); while ( ( c = Extra_UtilGetopt( argc, argv, "Farmfwvh" ) ) != EOF ) { diff --git a/src/map/pcm/module.make b/src/map/pcm/module.make deleted file mode 100644 index e69de29b..00000000 --- a/src/map/pcm/module.make +++ /dev/null diff --git a/src/map/ply/module.make b/src/map/ply/module.make deleted file mode 100644 index e69de29b..00000000 --- a/src/map/ply/module.make +++ /dev/null |