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

Added error message when the user is trying 'dsat' for multi-output comb miters.

This commit is contained in:
Alan Mishchenko 2012-09-05 18:53:21 -07:00
parent 9cb16d654a
commit c1f4545e07
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/aig/aig/aigObj.c
View File

@ -130,7 +130,7 @@ Aig_Obj_t * Aig_ObjCreate( Aig_Man_t * p, Aig_Obj_t * pGhost )
}
return pObj;
}
/**Function*************************************************************
Synopsis [Connect the object to the fanin.]

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

@ -19704,13 +19704,13 @@ int Abc_CommandDSat( Abc_Frame_t * pAbc, int argc, char ** argv )
Abc_Print( -1, "Currently can only solve the miter for combinational circuits.\n" );
return 0;
}
/*
if ( Abc_NtkPoNum(pNtk) != 1 )
{
Abc_Print( -1, "Currently expects a single-output miter.\n" );
return 0;
}
*/
if ( !Abc_NtkIsStrash(pNtk) )
{
Abc_Print( -1, "Currently only works for structurally hashed circuits.\n" );