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

Check whether exact network can be found.

This commit is contained in:
Mathias Soeken 2016-07-30 14:39:11 +02:00
parent 6d0214edc9
commit 90a6c38329
1 changed files with 11 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -7362,15 +7362,21 @@ int Abc_CommandExact( Abc_Frame_t * pAbc, int argc, char ** argv )
if ( fMakeAIG )
{
pGiaRes = Gia_ManFindExact( pTruth, nVars, nFunc, nMaxDepth, NULL, fVerbose );
assert( pGiaRes != NULL );
Abc_FrameUpdateGia( pAbc, pGiaRes );
if ( pGiaRes )
Abc_FrameUpdateGia( pAbc, pGiaRes );
else
Abc_Print( 0, "Could not find AIG within given resource constraints.\n" );
}
else
{
pNtkRes = Abc_NtkFindExact( pTruth, nVars, nFunc, nMaxDepth, NULL, fVerbose );
assert( pNtkRes != NULL );
Abc_FrameReplaceCurrentNetwork( pAbc, pNtkRes );
Abc_FrameClearVerifStatus( pAbc );
if ( pNtkRes )
{
Abc_FrameReplaceCurrentNetwork( pAbc, pNtkRes );
Abc_FrameClearVerifStatus( pAbc );
}
else
Abc_Print( 0, "Could not find network within given resource constraints.\n" );
}
return 0;