diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-01-25 06:49:49 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-01-25 06:49:49 +0700 |
| commit | 853222ee7bf8e1f79120666707ce754cd9169564 (patch) | |
| tree | 5bebbb9245ee6b46895697614072aef47da8aec4 /src/base/abci/abc.c | |
| parent | edd4b2a29c3a75709b6394fd205384dd0fe90e5d (diff) | |
| download | abc-853222ee7bf8e1f79120666707ce754cd9169564.tar.gz abc-853222ee7bf8e1f79120666707ce754cd9169564.tar.bz2 abc-853222ee7bf8e1f79120666707ce754cd9169564.zip | |
Fixed a corner-case when 'sim3 -a' does not work for costant POs.
Diffstat (limited to 'src/base/abci/abc.c')
| -rw-r--r-- | src/base/abci/abc.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 25a7638c..e7a3991e 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -17884,6 +17884,11 @@ int Abc_CommandSim3( Abc_Frame_t * pAbc, int argc, char ** argv ) Abc_Print( -1, "Only works for strashed networks.\n" ); return 1; } + if ( Abc_NtkLatchNum(pNtk) == 0 ) + { + Abc_Print( -1, "Only works for sequential networks.\n" ); + return 1; + } ABC_FREE( pNtk->pSeqModel ); pAbc->Status = Abc_NtkDarSeqSim3( pNtk, nFrames, nWords, nBinSize, nRounds, nRestart, nRandSeed, TimeOut, fSolveAll, fVerbose, fNotVerbose ); // pAbc->nFrames = pAbc->pCex->iFrame; |