Extending simulation interface.

This commit is contained in:
Alan Mishchenko
2019-03-28 07:50:14 -07:00
parent 5980562f28
commit 45cdd5acaa
2 changed files with 10 additions and 5 deletions
+1 -1
View File
@@ -48,7 +48,7 @@ ABC_NAMESPACE_IMPL_START
SeeAlso []
***********************************************************************/
void Extra_CommandCfs( Gia_Man_t * pGia, int Limit, int Reps, int UnseenUse, int RareUse, int fReplaceRare, int fVerbose )
void Extra_CommandCfs( Gia_Man_t * pGia, int Limit, int Reps, int UnseenUse, int RareUse, int fReplaceRare, int fConstSim, int fVerbose )
{
}