diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2019-06-26 15:37:55 +0300 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2019-06-26 15:37:55 +0300 |
commit | 0e787224199d3a39d112b238861b0fca01ba431f (patch) | |
tree | 05b3d6536365b37b314f86c61008591c2ae8924d /src/base/abci | |
parent | 05322e0446c5727e8e83dc3cbd628421ca7e5856 (diff) | |
download | abc-0e787224199d3a39d112b238861b0fca01ba431f.tar.gz abc-0e787224199d3a39d112b238861b0fca01ba431f.tar.bz2 abc-0e787224199d3a39d112b238861b0fca01ba431f.zip |
Making 'dsec' return correct return value (undoing this change, made by mistake).
Diffstat (limited to 'src/base/abci')
-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 eed4db4f..c2a25383 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 == -1 ? -1 : !RetValue; + return RetValue; } /**Function************************************************************* |