diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-31 20:30:40 -0400 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-31 20:30:40 -0400 |
| commit | 34366b8aca94b80051de58291ef853d292827f1d (patch) | |
| tree | bc4284cec4af0561e0ae09cf4f3463a1b69e3a40 /src/sat/bmc/bmc.h | |
| parent | e8c765c0d1b722f5d1e143928ee7fbf05ec713c6 (diff) | |
| download | abc-34366b8aca94b80051de58291ef853d292827f1d.tar.gz abc-34366b8aca94b80051de58291ef853d292827f1d.tar.bz2 abc-34366b8aca94b80051de58291ef853d292827f1d.zip | |
Specialized induction check.
Diffstat (limited to 'src/sat/bmc/bmc.h')
| -rw-r--r-- | src/sat/bmc/bmc.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/bmc/bmc.h b/src/sat/bmc/bmc.h index ae76ff6b..5d45c562 100644 --- a/src/sat/bmc/bmc.h +++ b/src/sat/bmc/bmc.h @@ -129,7 +129,7 @@ extern Aig_Man_t * Bmc_AigTargetStates( Aig_Man_t * p, Abc_Cex_t * pCex, i /*=== bmcCexMin.c ==========================================================*/ extern Abc_Cex_t * Saig_ManCexMinPerform( Aig_Man_t * pAig, Abc_Cex_t * pCex ); /*=== bmcICheck.c ==========================================================*/ -extern void Bmc_PerformICheck( Gia_Man_t * p, int nFramesMax, int nTimeOut, int fVerbose ); +extern void Bmc_PerformICheck( Gia_Man_t * p, int nFramesMax, int nTimeOut, int fEmpty, int fVerbose ); /*=== bmcUnroll.c ==========================================================*/ extern Unr_Man_t * Unr_ManUnrollStart( Gia_Man_t * pGia, int fVerbose ); extern Gia_Man_t * Unr_ManUnrollFrame( Unr_Man_t * p, int f ); |