diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-06-09 08:14:45 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-06-09 08:14:45 -0700 |
commit | 6ce9ac9bbdd4247f3fdb8ca4ade2f9b8a983f216 (patch) | |
tree | ef6a9e87433b0d1a569f34b95715628d9cd2b4b0 /src/base | |
parent | 9b54345120ff554c22101a2dd42462a1596c1f9a (diff) | |
download | abc-6ce9ac9bbdd4247f3fdb8ca4ade2f9b8a983f216.tar.gz abc-6ce9ac9bbdd4247f3fdb8ca4ade2f9b8a983f216.tar.bz2 abc-6ce9ac9bbdd4247f3fdb8ca4ade2f9b8a983f216.zip |
Skip 'scorr' when the network has no primary inputs.
Diffstat (limited to 'src/base')
-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 ) { |