diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-02-11 17:28:37 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-02-11 17:28:37 -0800 |
| commit | 2a5fa67d36393ab3ddb14e5bf542b0f29c8634e1 (patch) | |
| tree | 82554b6141c65a7c954c6017af8700a0ac348dbe /src/base/cmd | |
| parent | 7b7ebf91e458271b5979a3464b25faae5a5e4a6a (diff) | |
| download | abc-2a5fa67d36393ab3ddb14e5bf542b0f29c8634e1.tar.gz abc-2a5fa67d36393ab3ddb14e5bf542b0f29c8634e1.tar.bz2 abc-2a5fa67d36393ab3ddb14e5bf542b0f29c8634e1.zip | |
Adding APIs to mark cones. Creating test-bench for incremental solving &satoko -i.
Diffstat (limited to 'src/base/cmd')
| -rw-r--r-- | src/base/cmd/cmdAuto.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/base/cmd/cmdAuto.c b/src/base/cmd/cmdAuto.c index e279b19d..8151c2e5 100644 --- a/src/base/cmd/cmdAuto.c +++ b/src/base/cmd/cmdAuto.c @@ -47,7 +47,7 @@ ABC_NAMESPACE_IMPL_START #define CMD_AUTO_LINE_MAX 1000 // max number of chars in the string #define CMD_AUTO_ARG_MAX 100 // max number of arguments in the call -extern int Gia_ManCallSatokoOne( Gia_Man_t * p, satoko_opts_t * opts, int iOutput ); +extern int Gia_ManSatokoCallOne( Gia_Man_t * p, satoko_opts_t * opts, int iOutput ); //////////////////////////////////////////////////////////////////////// /// FUNCTION DEFINITIONS /// @@ -92,7 +92,7 @@ int Cmd_RunAutoTunerEvalSimple( Vec_Ptr_t * vAigs, satoko_opts_t * pOpts ) //printf( "Tuning with options: " ); //Cmd_RunAutoTunerPrintOptions( pOpts ); Vec_PtrForEachEntry( Gia_Man_t *, vAigs, pGia, i ) - TotalCost += Gia_ManCallSatokoOne( pGia, pOpts, -1 ); + TotalCost += Gia_ManSatokoCallOne( pGia, pOpts, -1 ); return TotalCost; } @@ -142,7 +142,7 @@ void * Cmd_RunAutoTunerEvalWorkerThread( void * pArg ) assert( 0 ); return NULL; } - pThData->Result = Gia_ManCallSatokoOne( pThData->pGia, pThData->pOpts, -1 ); + pThData->Result = Gia_ManSatokoCallOne( pThData->pGia, pThData->pOpts, -1 ); pThData->fWorking = 0; } assert( 0 ); |