From 6ce9ac9bbdd4247f3fdb8ca4ade2f9b8a983f216 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 9 Jun 2014 08:14:45 -0700 Subject: Skip 'scorr' when the network has no primary inputs. --- src/base/abci/abc.c | 6 ++++++ 1 file changed, 6 insertions(+) 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 ) { -- cgit v1.2.3