diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/base/abci/abc.c | 49 |
1 files changed, 0 insertions, 49 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 4d879774..b973aba7 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -171,7 +171,6 @@ static int Abc_CommandNpnSave ( Abc_Frame_t * pAbc, int argc, cha static int Abc_CommandSendAig ( Abc_Frame_t * pAbc, int argc, char ** argv ); static int Abc_CommandSendStatus ( Abc_Frame_t * pAbc, int argc, char ** argv ); -static int Abc_CommandSendCex ( Abc_Frame_t * pAbc, int argc, char ** argv ); static int Abc_CommandIStrash ( Abc_Frame_t * pAbc, int argc, char ** argv ); static int Abc_CommandICut ( Abc_Frame_t * pAbc, int argc, char ** argv ); @@ -629,7 +628,6 @@ void Abc_Init( Abc_Frame_t * pAbc ) Cmd_CommandAdd( pAbc, "Various", "send_aig", Abc_CommandSendAig, 0 ); Cmd_CommandAdd( pAbc, "Various", "send_status", Abc_CommandSendStatus, 0 ); - Cmd_CommandAdd( pAbc, "Various", "send_cex", Abc_CommandSendCex, 0 ); Cmd_CommandAdd( pAbc, "New AIG", "istrash", Abc_CommandIStrash, 1 ); Cmd_CommandAdd( pAbc, "New AIG", "icut", Abc_CommandICut, 0 ); @@ -11750,53 +11748,6 @@ usage: return 1; } -/**Function************************************************************* - - Synopsis [] - - Description [] - - SideEffects [] - - SeeAlso [] - -***********************************************************************/ -int Abc_CommandSendCex( Abc_Frame_t * pAbc, int argc, char ** argv ) -{ - extern void Gia_ManFromBridgeCex( FILE * pFile, Abc_Cex_t * pCex ); - int c; - Extra_UtilGetoptReset(); - while ( ( c = Extra_UtilGetopt( argc, argv, "" ) ) != EOF ) - { - switch ( c ) - { - case 'h': - goto usage; - default: - goto usage; - } - } - if ( !Abc_FrameIsBridgeMode() ) - { - Abc_Print( -1, "The bridge mode is not available.\n" ); - return 1; - } - if ( pAbc->pCex == NULL ) - { - Abc_Print( -1, "Current CEX is not available.\n" ); - return 1; - } - Gia_ManFromBridgeCex( stdout, pAbc->pCex ); - return 0; - -usage: - Abc_Print( -2, "usage: send_cex\n" ); - Abc_Print( -2, "\t sends current CEX to the bridge\n" ); - Abc_Print( -2, "\t-h : print the command usage\n"); - return 1; -} - - /**Function************************************************************* |