Skip to content

A
abc
Commit 66b1d4de by Alan Mishchenko
Options

Small performance bug in new 'fx'.

parent 299099a4
Showing with 1 additions and 1 deletions
src/base/abci/abcFx.c
...@@ -948,7 +948,7 @@ void Fx_ManUpdate( Fx_Man_t * p, int iDiv ) ...@@ -948,7 +948,7 @@ void Fx_ManUpdate( Fx_Man_t * p, int iDiv )
// if the input cover is not prime, it may happen that we are extracting divisor (x + !x) // if the input cover is not prime, it may happen that we are extracting divisor (x + !x)
// although it is not strictly correct, it seems to be fine to just skip such divisors // although it is not strictly correct, it seems to be fine to just skip such divisors
if ( Abc_Lit2Var(Lit0) == Abc_Lit2Var(Lit1) ) if ( Abc_Lit2Var(Lit0) == Abc_Lit2Var(Lit1) && Vec_IntSize(Hsh_VecReadEntry(p->pHash, iDiv)) == 2 )
return; return;
// collect single-cube-divisor cubes // collect single-cube-divisor cubes
......
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