diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-10-10 13:46:58 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-10-10 13:46:58 -0700 |
commit | 01e1b6345e38206c7e66b4c492acabb1fec5825f (patch) | |
tree | 85223f83f867746950e1d60a56dc5e10d77a6ae8 /src/misc | |
parent | 5a4592ee69c41dcecb4227a1474216e299f572e2 (diff) | |
download | abc-01e1b6345e38206c7e66b4c492acabb1fec5825f.tar.gz abc-01e1b6345e38206c7e66b4c492acabb1fec5825f.tar.bz2 abc-01e1b6345e38206c7e66b4c492acabb1fec5825f.zip |
Bug fix in the bit-blaster.
Diffstat (limited to 'src/misc')
-rw-r--r-- | src/misc/util/utilIsop.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/misc/util/utilIsop.c b/src/misc/util/utilIsop.c index ea03c027..292faf61 100644 --- a/src/misc/util/utilIsop.c +++ b/src/misc/util/utilIsop.c @@ -1102,7 +1102,7 @@ int Abc_IsopTest( word * pFunc, int nVars, Vec_Int_t * vCover ) TotalCost[4] += Abc_CostCubes(Cost); TotalTime[4] += Abc_Clock() - clk; */ - +/* // try old computation clk = Abc_Clock(); Cost = Kit_TruthIsop( (unsigned *)pFunc, nVars, vCover, 1 ); @@ -1112,7 +1112,7 @@ int Abc_IsopTest( word * pFunc, int nVars, Vec_Int_t * vCover ) printf( "%5d %7d ", Vec_IntSize(vCover), Abc_IsopCountLits(vCover, nVars) ); TotalCost[4] += Vec_IntSize(vCover); TotalTime[4] += Abc_Clock() - clk; - +*/ clk = Abc_Clock(); Cost = Abc_Isop( pFunc, nVars, ABC_ISOP_MAX_CUBE, vCover, 1 ); |