diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2021-06-24 19:18:28 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2021-06-24 19:18:28 -0700 |
commit | 28ba2c52137883b4acc46b2d31edf717822e543f (patch) | |
tree | 314ff9d902ab76f7c57bc783611288d963787caf /src/base/abci | |
parent | b4f099c511f66dfe6624ac26194abb90e9615cfd (diff) | |
download | abc-28ba2c52137883b4acc46b2d31edf717822e543f.tar.gz abc-28ba2c52137883b4acc46b2d31edf717822e543f.tar.bz2 abc-28ba2c52137883b4acc46b2d31edf717822e543f.zip |
Adding place holder file for resub experiments.
Diffstat (limited to 'src/base/abci')
-rw-r--r-- | src/base/abci/abc.c | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 96cd2188..913a8981 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -48866,6 +48866,7 @@ usage: ***********************************************************************/ int Abc_CommandAbc9Test( Abc_Frame_t * pAbc, int argc, char ** argv ) { + extern Gia_Man_t * Gia_ManPerformNewResub( Gia_Man_t * p, int nWinCount, int nCutSize, int nProcs, int fVerbose ); extern void Gia_RsbEnumerateWindows( Gia_Man_t * p, int nInputsMax, int nLevelsMax ); extern int Gia_ManSumTotalOfSupportSizes( Gia_Man_t * p ); extern void Abc_Tt6MinTest2( Gia_Man_t * p ); @@ -48924,12 +48925,12 @@ int Abc_CommandAbc9Test( Abc_Frame_t * pAbc, int argc, char ** argv ) goto usage; } } -// if ( pAbc->pGia == NULL ) -// { -// Abc_Print( -1, "Abc_CommandAbc9Test(): There is no AIG.\n" ); -// return 1; -// } -// Abc_FrameUpdateGia( pAbc, Abc_Procedure(pAbc->pGia) ); + if ( pAbc->pGia == NULL ) + { + Abc_Print( -1, "Abc_CommandAbc9Test(): There is no AIG.\n" ); + return 1; + } + Abc_FrameUpdateGia( pAbc, Gia_ManPerformNewResub(pAbc->pGia, 10, 8, 1, 1) ); // printf( "AIG in \"%s\" has the sum of output support sizes equal to %d.\n", pAbc->pGia->pSpec, Gia_ManSumTotalOfSupportSizes(pAbc->pGia) ); //Gia_ManExtractTest( pAbc->pGia ); //Abc_Tt6MinTest2( pAbc->pGia ); |