diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/base/abci/abc.c | 5 | ||||
| -rw-r--r-- | src/base/io/io.c | 5 |
2 files changed, 10 insertions, 0 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index bc7f5448..c98e4858 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -32830,6 +32830,11 @@ int Abc_CommandAbc9Bmc( Abc_Frame_t * pAbc, int argc, char ** argv ) Abc_Print( -1, "Abc_CommandAbc9Bmc(): There is no AIG.\n" ); return 0; } + if ( !pPars->fUseOldCnf && !Sdm_ManCanRead() ) + { + Abc_Print( -1, "Abc_CommandAbc9Bmc(): Cannot input precomputed DSD information.\n" ); + return 0; + } pAbc->Status = Gia_ManBmcPerform( pAbc->pGia, pPars ); pAbc->nFrames = pPars->iFrame; Abc_FrameReplaceCex( pAbc, &pAbc->pGia->pCexSeq ); diff --git a/src/base/io/io.c b/src/base/io/io.c index fa97ea1e..ff09686b 100644 --- a/src/base/io/io.c +++ b/src/base/io/io.c @@ -2063,6 +2063,11 @@ int IoCommandWriteCnf2( Abc_Frame_t * pAbc, int argc, char **argv ) Abc_Print( -1, "IoCommandWriteCnf2(): Works only for combinational miters.\n" ); return 0; } + if ( !Sdm_ManCanRead() ) + { + Abc_Print( -1, "IoCommandWriteCnf2(): Cannot input precomputed DSD information.\n" ); + return 0; + } if ( argc != globalUtilOptind + 1 ) goto usage; // get the input file name |