diff options
| author | Mathias Soeken <mathias.soeken@epfl.ch> | 2016-07-30 14:39:11 +0200 |
|---|---|---|
| committer | Mathias Soeken <mathias.soeken@epfl.ch> | 2016-07-30 14:39:11 +0200 |
| commit | 90a6c38329c5fcad23d6640109d7f2f452255216 (patch) | |
| tree | 3a43331436dfb5f9438297e631e848833ab70007 /src/base/abci/abc.c | |
| parent | 6d0214edc934675f4e4d2df2fd33d3b9153c4d3b (diff) | |
| download | abc-90a6c38329c5fcad23d6640109d7f2f452255216.tar.gz abc-90a6c38329c5fcad23d6640109d7f2f452255216.tar.bz2 abc-90a6c38329c5fcad23d6640109d7f2f452255216.zip | |
Check whether exact network can be found.
Diffstat (limited to 'src/base/abci/abc.c')
| -rw-r--r-- | src/base/abci/abc.c | 16 |
1 files changed, 11 insertions, 5 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 703fd63d..6138013e 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -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; |