diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-04-01 15:36:23 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-04-01 15:36:23 +0700 |
| commit | 9cee4366866da9a13fa8fe6b14a80b91f13d229d (patch) | |
| tree | 5639d19493592dadbd26b4a8112e7d81900df38a /src/sat/bmc/bmc.h | |
| parent | 0c47d04c0b7b8096ea37300720165bb0b0c183d9 (diff) | |
| download | abc-9cee4366866da9a13fa8fe6b14a80b91f13d229d.tar.gz abc-9cee4366866da9a13fa8fe6b14a80b91f13d229d.tar.bz2 abc-9cee4366866da9a13fa8fe6b14a80b91f13d229d.zip | |
Added backward flop order to &icheck (switch -b).
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 e489c255..55407ebe 100644 --- a/src/sat/bmc/bmc.h +++ b/src/sat/bmc/bmc.h @@ -169,7 +169,7 @@ extern void Bmc_CexPrint( Abc_Cex_t * pCex, int nInputs, int fVerbo extern int Bmc_CexVerify( Gia_Man_t * p, Abc_Cex_t * pCex, Abc_Cex_t * pCexCare ); /*=== bmcICheck.c ==========================================================*/ extern void Bmc_PerformICheck( Gia_Man_t * p, int nFramesMax, int nTimeOut, int fEmpty, int fVerbose ); -extern Vec_Int_t * Bmc_PerformISearch( Gia_Man_t * p, int nFramesMax, int nTimeOut, int fReverse, int fDump, int fVerbose ); +extern Vec_Int_t * Bmc_PerformISearch( Gia_Man_t * p, int nFramesMax, int nTimeOut, int fReverse, int fBackTopo, int fDump, 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 ); |