diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2019-03-28 07:50:14 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2019-03-28 07:50:14 -0700 |
| commit | 45cdd5acaa4ca44e227fe79c4129555ccd79ff24 (patch) | |
| tree | 8aed07d3ec48894943cbacc67f8be42ec942a3e5 /src/misc/extra | |
| parent | 5980562f28cd91d5a70b9447a9186f8c9db0e3e4 (diff) | |
| download | abc-45cdd5acaa4ca44e227fe79c4129555ccd79ff24.tar.gz abc-45cdd5acaa4ca44e227fe79c4129555ccd79ff24.tar.bz2 abc-45cdd5acaa4ca44e227fe79c4129555ccd79ff24.zip | |
Extending simulation interface.
Diffstat (limited to 'src/misc/extra')
| -rw-r--r-- | src/misc/extra/extraUtilCfs.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/misc/extra/extraUtilCfs.c b/src/misc/extra/extraUtilCfs.c index bf77c8fb..36080ca0 100644 --- a/src/misc/extra/extraUtilCfs.c +++ b/src/misc/extra/extraUtilCfs.c @@ -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 ) { } |