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

Compiler warning.

This commit is contained in:
Alan Mishchenko 2025-12-05 20:50:53 -08:00
parent e58a28b73b
commit eaa204829c
1 changed files with 7 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
src/base/abci/abcTopo.c
View File

@ -26,11 +26,7 @@
#define KISSAT_SAT 10
#define KISSAT_UNDEC 0
static int AbcTopo_KissatTerminate( void * pData )
{
abctime * pTimeStop = (abctime *)pData;
return pTimeStop && *pTimeStop && Abc_Clock() > *pTimeStop;
}
ABC_NAMESPACE_IMPL_START
////////////////////////////////////////////////////////////////////////
/// DECLARATIONS ///
@ -40,6 +36,12 @@ static int AbcTopo_KissatTerminate( void * pData )
/// FUNCTION DEFINITIONS ///
////////////////////////////////////////////////////////////////////////
static int AbcTopo_KissatTerminate( void * pData )
{
abctime * pTimeStop = (abctime *)pData;
return pTimeStop && *pTimeStop && Abc_Clock() > *pTimeStop;
}
/**Function*************************************************************
Synopsis [Exact synthesis of the MO function into a fixed-topology network.]