luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Added a passthrough in command 'fold' if there are no POs, only constraints.

This commit is contained in:
Alan Mishchenko 2018-11-11 09:37:20 -08:00
parent fb436339a9
commit 68da3cfd02
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/base/abci/abc.c
View File

@ -27292,6 +27292,11 @@ int Abc_CommandFold( Abc_Frame_t * pAbc, int argc, char ** argv )
Abc_Print( 0, "The network has no constraints.\n" );
return 0;
}
if ( Abc_NtkConstrNum(pNtk) == Abc_NtkPoNum(pNtk) )
{
Abc_Print( 0, "The network has no primary outputs (only constraints).\n" );
return 0;
}
if ( Abc_NtkIsComb(pNtk) )
Abc_Print( 0, "The network is combinational.\n" );
// modify the current network