luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Making 'dsec' return verification status.

This commit is contained in:
Alan Mishchenko 2019-06-21 08:03:49 +02:00
parent 7e8fc63d90
commit 26ac9ef91a
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/base/abci/abc.c
View File

@ -23903,7 +23903,7 @@ int Abc_CommandDSec( Abc_Frame_t * pAbc, int argc, char ** argv )
}
// perform verification
Abc_NtkDarSec( pNtk1, pNtk2, pSecPar );
pAbc->Status = Abc_NtkDarSec( pNtk1, pNtk2, pSecPar );
if ( fDelete1 ) Abc_NtkDelete( pNtk1 );
if ( fDelete2 ) Abc_NtkDelete( pNtk2 );

2
src/base/abci/abcDar.c
View File

@ -2956,7 +2956,7 @@ int Abc_NtkDarSec( Abc_Ntk_t * pNtk1, Abc_Ntk_t * pNtk2, Fra_Sec_t * pSecPar )
if ( pMiter == NULL )
{
Abc_Print( 1, "Miter computation has failed.\n" );
return 0;
return -1;
}
RetValue = Abc_NtkMiterIsConstant( pMiter );
if ( RetValue == 0 )