diff options
Diffstat (limited to 'src/sat/bmc/bmcCexCut.c')
-rw-r--r-- | src/sat/bmc/bmcCexCut.c | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/sat/bmc/bmcCexCut.c b/src/sat/bmc/bmcCexCut.c index 3cc81d97..79944097 100644 --- a/src/sat/bmc/bmcCexCut.c +++ b/src/sat/bmc/bmcCexCut.c @@ -33,7 +33,7 @@ ABC_NAMESPACE_IMPL_START /**Function************************************************************* - Synopsis [] + Synopsis [Generate GIA for target bad states.] Description [] @@ -42,6 +42,10 @@ ABC_NAMESPACE_IMPL_START SeeAlso [] ***********************************************************************/ +Gia_Man_t * Bmc_GiaTargetStates( Gia_Man_t * p, Abc_Cex_t * pCex, int iFrBeg, int iFrEnd ) +{ + return NULL; +} //////////////////////////////////////////////////////////////////////// /// END OF FILE /// |