Skip to content

A
abc
Commit 78a0660e by Alan Mishchenko
Options

Specialized inductive check.

parent 66b65935
Showing with 1 additions and 1 deletions
src/sat/bmc/bmcICheck.c
...@@ -413,7 +413,7 @@ void Bmc_PerformISearch( Gia_Man_t * p, int nFramesMax, int nTimeOut, int fRever ...@@ -413,7 +413,7 @@ void Bmc_PerformISearch( Gia_Man_t * p, int nFramesMax, int nTimeOut, int fRever
for ( i = 0; i < Gia_ManRegNum(p); i++ ) for ( i = 0; i < Gia_ManRegNum(p); i++ )
Vec_IntPush( vLits, Abc_Var2Lit(i, 0) ); Vec_IntPush( vLits, Abc_Var2Lit(i, 0) );
for ( f = 1; f < nFramesMax; f++ ) for ( f = 1; f <= nFramesMax; f++ )
Bmc_PerformISearchOne( p, f, nTimeOut, fReverse, fVerbose, vLits ); Bmc_PerformISearchOne( p, f, nTimeOut, fReverse, fVerbose, vLits );
// dump the numbers of the flops // dump the numbers of the flops
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment