diff options
| -rw-r--r-- | src/base/abci/abc.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 8d0b4d14..6ee1d63d 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -17658,6 +17658,12 @@ int Abc_CommandSeqSweep2( Abc_Frame_t * pAbc, int argc, char ** argv ) return 0; } + if ( Abc_NtkPiNum(pNtk) == 0 ) + { + Abc_Print( 0, "This command works only for designs with primary inputs.\n" ); + return 0; + } + // if constraints are to be used, network should have no constraints if ( nConstrs > 0 ) { |