diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2019-06-24 11:37:27 +0200 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2019-06-24 11:37:27 +0200 |
| commit | 05322e0446c5727e8e83dc3cbd628421ca7e5856 (patch) | |
| tree | 8a264837c4e36e96360dbfed55bb39d136364919 /src | |
| parent | 26ac9ef91a832f26875cae0011893eae3083dceb (diff) | |
| download | abc-05322e0446c5727e8e83dc3cbd628421ca7e5856.tar.gz abc-05322e0446c5727e8e83dc3cbd628421ca7e5856.tar.bz2 abc-05322e0446c5727e8e83dc3cbd628421ca7e5856.zip | |
Making 'dsec' return correct return value.
Diffstat (limited to 'src')
| -rw-r--r-- | src/base/abci/abcDar.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abci/abcDar.c b/src/base/abci/abcDar.c index c2a25383..eed4db4f 100644 --- a/src/base/abci/abcDar.c +++ b/src/base/abci/abcDar.c @@ -3018,7 +3018,7 @@ int Abc_NtkDarSec( Abc_Ntk_t * pNtk1, Abc_Ntk_t * pNtk2, Fra_Sec_t * pSecPar ) // perform verification RetValue = Fra_FraigSec( pMan, pSecPar, NULL ); Aig_ManStop( pMan ); - return RetValue; + return RetValue == -1 ? -1 : !RetValue; } /**Function************************************************************* |