From 05322e0446c5727e8e83dc3cbd628421ca7e5856 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 24 Jun 2019 11:37:27 +0200 Subject: Making 'dsec' return correct return value. --- src/base/abci/abcDar.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/base/abci') 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************************************************************* -- cgit v1.2.3