diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2006-01-18 08:01:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2006-01-18 08:01:00 -0800 |
| commit | c0ef1f469a3204adbd26edec0b9d3af56532d794 (patch) | |
| tree | f9c957991a7fa2a50198ce0b97a215f2ada97f1b /src/base/abci/abc.c | |
| parent | 9e073ed8506c086d6e827f5588d1ee56c57703da (diff) | |
| download | abc-c0ef1f469a3204adbd26edec0b9d3af56532d794.tar.gz abc-c0ef1f469a3204adbd26edec0b9d3af56532d794.tar.bz2 abc-c0ef1f469a3204adbd26edec0b9d3af56532d794.zip | |
Version abc60118
Diffstat (limited to 'src/base/abci/abc.c')
| -rw-r--r-- | src/base/abci/abc.c | 13 |
1 files changed, 6 insertions, 7 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 259187bf..5f5c4b49 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -3782,8 +3782,9 @@ usage: int Abc_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv ) { FILE * pOut, * pErr; - Abc_Ntk_t * pNtk;//, * pNtkRes; + Abc_Ntk_t * pNtk, * pNtkRes; int c; + extern Abc_Ntk_t * Abc_NtkNewAig( Abc_Ntk_t * pNtk ); pNtk = Abc_FrameReadNet(pAbc); pOut = Abc_FrameReadOut(pAbc); @@ -3807,19 +3808,18 @@ int Abc_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv ) return 1; } - if ( !Abc_NtkIsStrash(pNtk) ) + if ( Abc_NtkIsSeq(pNtk) ) { - fprintf( pErr, "Only works for strashed networks.\n" ); + fprintf( pErr, "Only works for non-sequential networks.\n" ); return 1; } // Abc_NtkTestEsop( pNtk ); // Abc_NtkTestSop( pNtk ); // printf( "This command is currently not used.\n" ); - -/* // run the command - pNtkRes = Abc_NtkMiterForCofactors( pNtk, 0, 0, -1 ); +// pNtkRes = Abc_NtkMiterForCofactors( pNtk, 0, 0, -1 ); + pNtkRes = Abc_NtkNewAig( pNtk ); if ( pNtkRes == NULL ) { fprintf( pErr, "Command has failed.\n" ); @@ -3827,7 +3827,6 @@ int Abc_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv ) } // replace the current network Abc_FrameReplaceCurrentNetwork( pAbc, pNtkRes ); -*/ return 0; usage: |