diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-10-22 11:45:23 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-10-22 11:45:23 -0700 |
commit | 1332dc419fb65f74a1547d937a52d52d33f9b69c (patch) | |
tree | 48499f6c6e603749fcac6b5522b786e8c77587ac /src/base/abci/abc.c | |
parent | 2c37498bfb297c00e9b5eee8472acc134d9aba73 (diff) | |
download | abc-1332dc419fb65f74a1547d937a52d52d33f9b69c.tar.gz abc-1332dc419fb65f74a1547d937a52d52d33f9b69c.tar.bz2 abc-1332dc419fb65f74a1547d937a52d52d33f9b69c.zip |
Minor tuning in 'satclp'.
Diffstat (limited to 'src/base/abci/abc.c')
-rw-r--r-- | src/base/abci/abc.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 91f128b6..2a71fd7a 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -3177,7 +3177,7 @@ int Abc_CommandSatClp( Abc_Frame_t * pAbc, int argc, char ** argv ) if ( pNtkRes == NULL ) { Abc_Print( -1, "Collapsing has failed.\n" ); - return 1; + return 0; } // replace the current network Abc_FrameReplaceCurrentNetwork( pAbc, pNtkRes ); @@ -8290,7 +8290,7 @@ int Abc_CommandSop( Abc_Frame_t * pAbc, int argc, char ** argv ) if ( !Abc_NtkToSop(pNtk, fMode, nCubeLimit) ) { Abc_Print( -1, "Converting to SOP has failed.\n" ); - return 1; + return 0; } return 0; |