diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-14 14:33:27 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-14 14:33:27 -0800 |
| commit | d8e04032967a524f4891927d73b1f61e60d8953b (patch) | |
| tree | dc09b9ff312d5811c18151a712a7e49a6311e7a7 /src/sat/bmc/bmcCexCut.c | |
| parent | ddab80aea4cea4bbdcd4aa17dd1be893e50961b1 (diff) | |
| download | abc-d8e04032967a524f4891927d73b1f61e60d8953b.tar.gz abc-d8e04032967a524f4891927d73b1f61e60d8953b.tar.bz2 abc-d8e04032967a524f4891927d73b1f61e60d8953b.zip | |
Added command 'cexsave' and 'cexload'.
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 /// |